![](/img/cover-not-exists.png)
Modeling of Safety-Critical Systems Using Petri Nets
Sunanda, B. Esther, Seetharamaiah, P.Volume:
40
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/2693208.2693238
Date:
February, 2015
File:
PDF, 665 KB
english, 2015