Katalog der Deutschen Nationalbibliothek

Go to:

Knowledge Web

Subject heading
Subject heading

Allgemeinbegriff

Abstrakte Zustandsmaschine

Spezifikationssprache

Subject heading

Abstrakte Zustandsmaschine

Definition

Spezifikationssprache zur Beschreibung von Soft- und Hardwaresystemen

Synonym

Abstract state machine

Broader term

Spezifikationssprache

Topic

Informatik, Datenverarbeitung

Source

Vorlage

Record type

Allgemeinbegriff

GND-Identifier

4637783-9

Record ID

961618922

Topic of

show all

Verifikation abstrakter Zustandsmaschinen

Modeling companion for software practitioners

Modeling Companion for Software Practitioners

Spezifikation einer Ausführungssemantik für das Subjektorientierte Prozessmanagement mit CoreASM

Dynamische Modellanalyse von Metamodellen mit operationaler Semantik

Abstract state machines, alloy, B, TLA, VDM, and Z : 4th international conference ; proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Abstract state machines, alloy, B, VDM, and Z : third international conference ; proceedings

Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Business Process Execution Language for Web services

Abstract state machines, alloy, B and Z : second international conference ; proceedings

Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings

Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday

Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Logical foundations of database transformations for complex value databases

Logical foundations of database transformations for complex-value databases

Abstract state machines, B and Z : first international conference ; proceedings

Abstract state machines, B and Z : first international conference ; proceedings

Model Checking Abstract State Machines

Computing abstract models for verifying reactive systems

Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems

Operational Semantics for Timed Systems : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

[Abstract state machines 2004] : [advances in theory and practice ; 11th international workshop ; proceedings]

Abstract state machines : verification problems and computational power

Abstract state machines : verification problems and computational power

Abstract state machines 2004 : advances in theory and practice ; 11th international workshop ; proceedings

Visuelle Modellierung agentenbasierter Systeme

Visuelle Modellierung agentenbasierter Systeme

Abstract state machines : a method for high level system design and analysis ; with 19 tables

Abstract State Machines : A Method for High-Level System Design and Analysis

Abstract state machines 2003 : advances in theory and practice ; 10th international workshop ; proceedings

Abstract State Machines 2003 : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

Formale Semantik des Datentypmodells von SDL-2000

Formale Semantik des Datentypmodells von SDL-2000

Abstract state machines : theory and applications ; international workshop ; proceedings

Refinement and implementation techniques for abstract state machines

Refinement and implementation techniques for Abstract State Machines

Architectural design of evolutionary software systems in continuous software engineering

Formal semantics for SDL : definition and implementation

Formal semantics for SDL : definition and implementation

Model checking abstract state machines

Abstract state machines : theory and applications ; international workshop ; proceedings

Abstract state machines : verification problems and complexity

Abstract state machines : verification problems and complexity

Verifikation abstrakter Zustandsmaschinen

Verifikation abstrakter Zustandsmaschinen
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal