Nutaro James J

James J Nutaro

Information about the author James J Nutaro will soon be added to the site.
Found 1 papers in total
Combining DEVS and model-checking: concepts and tools for integrating simulation and analysis
2017
Our objectives here are to discuss the development of a formal framework that exploits...
Papers per page: