Timed Specification Patterns for System Validation: A Railway Case Study
Keyword(s):
2015 ◽
Vol 125
(3-4)
◽
pp. 541-554
◽
Keyword(s):
2019 ◽
Vol 11
(4)
◽
pp. 34-42
◽
Keyword(s):
Keyword(s):
1996 ◽
Vol 54
◽
pp. 636-637