Erratum to: Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics

Dependable Software Engineering: Theories, Tools, and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25942-0_22 ◽

2015 ◽

pp. E2-E2

Author(s):

Sandeep Patil ◽

Victor Dubinin ◽

Victor Vyatkin

Keyword(s):

State Machines ◽

Abstract State Machines ◽

Formal Modelling ◽

Function Blocks ◽

Execution Semantics

Download Full-text

Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics

Dependable Software Engineering: Theories, Tools, and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25942-0_20 ◽

2015 ◽

pp. 300-315 ◽

Author(s):

Sandeep Patil ◽

Victor Dubinin ◽

Victor Vyatkin

Keyword(s):

State Machines ◽

Abstract State Machines ◽

Formal Modelling ◽

Function Blocks ◽

Execution Semantics

Download Full-text

Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV -- Modelling

2015 IEEE Trustcom/BigDataSE/ISPA ◽

10.1109/trustcom.2015.650 ◽

2015 ◽

Author(s):

Sandeep Patil ◽

Victor Dubinin ◽

Valeriy Vyatkin

Keyword(s):

Formal Verification ◽

State Machines ◽

Abstract State Machines ◽

Function Blocks

Download Full-text

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 ◽

Author(s):

Marc Spielmann

Keyword(s):

Model Checking ◽

State Machines ◽

Abstract State Machines

Download Full-text

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

Download Full-text

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 ◽

Download Full-text

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 ◽

Author(s):

Dumitru Roman ◽

Michael Kifer ◽

Dieter Fensel

Keyword(s):

State Machines ◽

Abstract State Machines ◽

Concurrent Transaction ◽

Transaction Logic

Download Full-text

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 ◽

Author(s):

Nicu G. Fruja ◽

Robert F. Stärk

Keyword(s):

State Machines ◽

Abstract State Machines

Download Full-text

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 ◽

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

Download Full-text

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 ◽

Author(s):

Erich Grädel ◽

Antje Nowack

Keyword(s):

Quantum Computing ◽

State Machines ◽

Abstract State Machines

Download Full-text

A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73859-6_17 ◽

2007 ◽

pp. 242-256 ◽

Author(s):

Andreas Glausch ◽

Wolfgang Reisig

Keyword(s):

State Machines ◽

Abstract State Machines

Download Full-text