Unified Property Evaluations of Constrained-DEVS Models for Simulation and Model Checking

Soroosh Gholami, Hessam S. Sarjoughian

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Scopus citations

Fingerprint

Dive into the research topics of 'Unified Property Evaluations of Constrained-DEVS Models for Simulation and Model Checking'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science

Social Sciences