3199 search results - page 77 / 640 » Variability in Automation System Models |
CSL
2006
Springer
13 years 10 months ago
2006
Springer
Model-checking problems for PDL (propositional dynamic logic) and its extension PDL (which includes the intersection operator on programs) over various classes of infinite state sy...
ISORC
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
ISSTA
2006
ACM
14 years 4 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
ICCS
2003
Springer
14 years 3 months ago
2003
Springer
Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reacti...
QEST
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--We investigate an abstraction method, called meanfield method, for the performance evaluation of dynamic networks with pairwise communication between nodes. It allows us ...