Open AccessMapping AADL to Petri Net Tool-Sets Using PNML Framework
Author(s) -
Hassan Reza,
Amrita Chatterjee
Publication year - 2014
Publication title -
journal of software engineering and applications
Language(s) - Uncategorized
Resource type - Journals
eISSN - 1945-3124
pISSN - 1945-3116
DOI - 10.4236/jsea.2014.711082
Subject(s) - computer science , petri net , model checking , semantics (computer science) , formal verification , programming language , formal methods , process architecture , software engineering , life critical system , embedded system , software