Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System
2020 ◽
Vol 142
◽
pp. 106340
◽
Keyword(s):
2012 ◽
Vol 190-191
◽
pp. 218-221
◽
2005 ◽
Vol 15
(02)
◽
pp. 289-298
2016 ◽
Vol 112
◽
pp. 2015-2028
◽
Keyword(s):
2019 ◽
Vol 9
(1)
◽
pp. 2855-2860
Keyword(s):
2020 ◽
Vol 35
(1)
◽
pp. 516-526
◽
2006 ◽
Vol 53
(4-5)
◽
pp. 179-184
◽
Keyword(s):