Sciweavers

7213 search results - page 84 / 1443
» Automated model grouping
Sort
View
117
Voted
MAAMAW
1994
Springer
15 years 7 months ago
DA-Soc: A Testbed for Modelling Distribution Automation Applications Using Agent-Oriented Programming
Staffan Haegg, Fredrik Ygge, Rune Gustavsson, Hans...
ACSD
2004
IEEE
90views Hardware» more  ACSD 2004»
15 years 7 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 6 months ago
Multi-level Modeling for Industrial Automation Systems
Thomas Aschauer, Gerd Dauenhauer, Wolfgang Pree