Model Integration for Formal Qualification of Timing-Aware Software Data Acquisition Components
2013 ◽
pp. 167-200
2017 ◽
Keyword(s):
1990 ◽
Vol 51
(C2)
◽
pp. C2-939-C2-942
◽
2014 ◽
Vol 186
(S 01)
◽
2020 ◽
Vol E103.C
(8)
◽
pp. 345-352
Keyword(s):
2012 ◽
Vol E95.A
(6)
◽
pp. 1030-1040
◽
2020 ◽
Vol 65
(1)
◽
pp. 179-186