Complementarity between Simulation and Formal Verification - Transformation of PROMELA Models into FDDEVS Models: Application to a Case Study
Keyword(s):
2016 ◽
Vol 324
◽
pp. 31-50
◽
2016 ◽
Vol 65
(3)
◽
pp. 1163-1179
◽
Keyword(s):
2018 ◽
Vol 272
◽
pp. 52-64
◽