Formal Requirements Analysis Techniques for Software-Intensive Automotive Electronic Control Systems
2013 ◽
Vol 437
◽
pp. 639-642
Keyword(s):
1999 ◽
Vol 7
(11)
◽
pp. 1343-1356
◽
Keyword(s):