Newthink - An Orwellian specification language for real-time safety critical systems
Keyword(s):
Keyword(s):
2007 ◽
Vol 15
(1)
◽
pp. 77-94
◽
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):