Simulator for Real-Time Abstract State Machines

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/11867340_24 ◽

2006 ◽

pp. 337-351

Author(s):

Pavel Vasilyev

Keyword(s):

Real Time ◽

State Machines ◽

Abstract State Machines

Stability of Real-Time Abstract State Machines under Desynchronization

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_29 ◽

2008 ◽

pp. 341-341

Author(s):

Joelle Cohen ◽

Anatol Slissenko

Keyword(s):

Real Time ◽

State Machines ◽

Abstract State Machines

Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines

IFIP International Federation for Information Processing - Design Methods and Applications for Distributed Embedded Systems ◽

10.1007/1-4020-8149-9_30 ◽

2004 ◽

pp. 297-306

Author(s):

Uwe Glässer ◽

Mona Vajihollahi

Keyword(s):

Real Time ◽

Reactive Systems ◽

State Machines ◽

Abstract State Machines

Simulator for Real-Time Abstract State Machines

Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems ◽

10.5220/0002501002020205 ◽

2006 ◽

Keyword(s):

Real Time ◽

State Machines ◽

Abstract State Machines

Model Checking Abstract State Machines and Beyond

Lecture Notes in Computer Science - Abstract State Machines - Theory and Applications ◽

10.1007/3-540-44518-8_18 ◽

2000 ◽

pp. 323-340 ◽

Cited By ~ 3

Author(s):

Marc Spielmann

Keyword(s):

Model Checking ◽

State Machines ◽

Abstract State Machines

Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study

Software Technology: Methods and Tools - Lecture Notes in Computer Science ◽

10.1007/978-3-030-29852-4_7 ◽

2019 ◽

pp. 89-103

Author(s):

Andrea Bombarda ◽

Silvia Bonfanti ◽

Angelo Gargantini

Keyword(s):

Embedded Systems ◽

Medical Devices ◽

State Machines ◽

Abstract State Machines

Model-Based Simulation at Runtime with Abstract State Machines

Communications in Computer and Information Science - Software Architecture ◽

10.1007/978-3-030-59155-7_29 ◽

2020 ◽

pp. 395-410

Author(s):

Elvinia Riccobene ◽

Patrizia Scandurra

Keyword(s):

State Machines ◽

Abstract State Machines ◽

Model Based

WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic

Lecture Notes in Computer Science - The Semantic Web: Research and Applications ◽

10.1007/978-3-540-68234-9_48 ◽

2008 ◽

pp. 659-673 ◽

Cited By ~ 8

Author(s):

Dumitru Roman ◽

Michael Kifer ◽

Dieter Fensel

Keyword(s):

State Machines ◽

Abstract State Machines ◽

Concurrent Transaction ◽

Transaction Logic

The Hidden Computation Steps of Turbo Abstract State Machines

Abstract State Machines 2003 - Lecture Notes in Computer Science ◽

10.1007/3-540-36498-6_14 ◽

2003 ◽

pp. 244-262 ◽

Cited By ~ 7

Author(s):

Nicu G. Fruja ◽

Robert F. Stärk

Keyword(s):

State Machines ◽

Abstract State Machines

Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-319-70848-5_3 ◽

2017 ◽

pp. 15-32 ◽

Cited By ~ 2

Author(s):

Farah Al-Shareefi ◽

Alexei Lisitsa ◽

Clare Dixon

Keyword(s):

Process Analysis ◽

State Machines ◽

Critical Systems ◽

Abstract State Machines ◽

Safety Critical ◽

Safety Critical Systems

Quantum Computing and Abstract State Machines

Abstract State Machines 2003 - Lecture Notes in Computer Science ◽

10.1007/3-540-36498-6_18 ◽

2003 ◽

pp. 309-323 ◽

Cited By ~ 8

Author(s):

Erich Grädel ◽

Antje Nowack

Keyword(s):

Quantum Computing ◽

State Machines ◽

Abstract State Machines