Sciweavers

7213 search results - page 84 / 1443
» Automated model grouping
Sort
View
ACSD
2004
IEEE
90views Hardware» more  ACSD 2004»
15 years 1 months ago
A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models
Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoor...
EUROMICRO
2009
IEEE
15 years 1 months ago
Multi-level Modeling for Industrial Automation Systems
Thomas Aschauer, Gerd Dauenhauer, Wolfgang Pree