2407 search results - page 223 / 482 » A Tool for Abstraction in Model Checking |
202
click to vote
CISIS
2010
IEEE
16 years 2 months ago
2010
IEEE
— The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production aut...
194
click to vote
IJDST
2011
14 years 10 months ago
2011
The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production automa...
187
click to vote
ASPDAC
2004
ACM
16 years 20 days ago
2004
ACM
Abstract— To meet the challenge of increasing design complexity, designers are turning to system level design languages to model systems at a higher level of abstraction. This pa...
169
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
We present a real-time execution semantics for UML activity graphs that is intended for workflow modelling. The semantics is defined in terms of execution algorithms that define...
194
click to vote
EDOC
2004
IEEE
15 years 11 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...