1678 search results - page 5 / 336 » An ASM Specification of C |
JSA
2008
13 years 7 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
ISBI
2006
IEEE
14 years 8 months ago
2006
IEEE
Cardiac magnetic resonance imaging (MRI) has demonstrated to be the most accurate and reproducible tool for assessment of the cardiovascular system.Traditional quantification meth...
ERSHOV
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The token flow semantics of UML 2 activity diagrams is formally defined using Abstract State Machines. Interruptible activity regions and multiplicity bounds for pins are...
IASTEDSE
2004
13 years 8 months ago
2004
This paper describes the use of executable specifications to ease incremental development, by providing more flexibility regarding the order in which modules are implemented. In t...
ASM
2000
ASM
13 years 11 months ago
2000
ASM
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...