Contract-Based Specification and Test Generation for Adaptive Systems
1987 ◽
Vol 134
(2)
◽
pp. 69
◽
2019 ◽
2016 ◽
Vol 136
(3)
◽
pp. 423-433
Keyword(s):
Keyword(s):
2011 ◽
Vol 30
(10)
◽
pp. 2442-2445