Zum Inhalt springen

Glässer, Uwe [Verfasser:in]; Gotzhein, Reinhard [Verfasser:in]; Prinz, Andreas [Verfasser:in]

An introduction to abstract state machines

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Kaiserslautern: Univ., Fachbereich Informatik, [2003]

Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 326
Zimmermann, Wolf [Herausgeber:in]; Thalheim, Bernhard [Sonstige Person, Familie und Körperschaft] ; ASM 11 2004 Wittenberg

Abstract state machines 2004 : advances in theory and practice ; 11th international workshop, Lutherstadt Wittenberg, Germany, May 24 - 28, 2004 ; proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2004

Erschienen in: Lecture notes in computer science ; 3052
Börger, Egon [Herausgeber:in] ; ASM 10 2003 Taormina

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

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2003

Erschienen in: Lecture notes in computer science ; 2589
Börger, Egon [Verfasser:in]; Stärk, Robert F. [Verfasser:in]

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

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2003
Kröger, Fred [Verfasser:in]; Merz, Stephan [Verfasser:in]

Temporal logic and state systems

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2008

Erschienen in: Texts in theoretical computer science
Frappier, Marc [Herausgeber:in] ; ABZ 2 2010 Orford, Québec

Abstract state machines, Alloy, B and Z : second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 ; proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2010

Erschienen in: Lecture notes in computer science ; 5977
Blass, Andreas [Herausgeber:in]; Gurevich, Yuri [Gefeierte:r]; Dershowitz, Nachum [Sonstige Person, Familie und Körperschaft]; Reisig, Wolfgang [Sonstige Person, Familie und Körperschaft]

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

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2010

Erschienen in: Lecture notes in computer science ; 6300
Börger, Egon [Herausgeber:in]; Butler, Michael [Sonstige Person, Familie und Körperschaft]; Bowen, Jonathan P. [Sonstige Person, Familie und Körperschaft]; Boca, Paul [Sonstige Person, Familie und Körperschaft] ; ABZ 1 2008 London

Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 16-18, 2008 ; proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Erschienen in: Lecture notes in computer science ; 5238
Rust, Heinrich [Verfasser:in]

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

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2005

Erschienen in: Lecture notes in computer science ; 3456
Grandy, Holger [Verfasser:in]; Stenzel, Kurt [Verfasser:in]; Reif, Wolfgang [Verfasser:in]

A Refinement Method for Java Programs

Online ansehen
Schließen

Links

... zum E-Book

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Augsburg University Publication Server (OPUS), 2006-12-14
Haneberg, Dominik [Verfasser:in]; Schellhorn, Gerhard [Verfasser:in]; Grandy, Holger [Verfasser:in]; Reif, Wolfgang [Verfasser:in]

Verification of Mondex electronic purses with KIV: from transactions to a security protocol

Online ansehen
Schließen

Links

... zum E-Book

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Augsburg University Publication Server (OPUS), 2006-12-22
Schellhorn, Gerhard [Verfasser:in]

Verifikation abstrakter Zustandsmaschinen

Online ansehen
Schließen

Zugang

... zum E-Book (frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Augsburg: Universität Augsburg, 2019
Sarstedt, Stefan [Verfasser:in]

Semantic foundation and tool support for model-driven development with UML 2 activity diagrams

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System (Volltext ; frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2006
Klünder, Daniel [Verfasser:in]

Entwurf eingebetteter Software mit abstrakten Zustandsmaschinen und Business Object Notation

Online ansehen
Schließen

Zugang

... zum E-Book (Volltext ; PDF Dokument ; frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Aachen: RWTH Aachen, Department of Computer Science, 2009

Erschienen in: Aachener Informatik-Berichte ; 2009,4
Nowack, Antje [Verfasser:in]

Abstract state machines : verification problems and computational power

Online ansehen
Schließen

Zugang

... zum E-Book (Volltext ; PDF Dokument ; frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2004
Leitz, Markus [Verfasser:in] ; Tichy, Matthias [Mitwirkende:r]; Börger, Egon [Mitwirkende:r]

Definition of the formal semantics of control state diagrams and implementation of a graphical editor

Online ansehen
Schließen

Links

... zur Elektronischen Ressource via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Universität Ulm, 2018-06-08T07:21:59Z
Börger, Egon [Gefeierte:r]; Raschke, Alexander [Herausgeber:in]; Riccobene, Elvinia [Herausgeber:in]; Schewe, Klaus-Dieter [Herausgeber:in]

Logic, computation and rigorous methods : essays dedicated to Egon Börger on the occasion of his 75th birthday

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cham: Springer, [2021]

Erschienen in: Lecture notes in computer science ; 12750
Sarstedt, Stefan [Verfasser:in]

Semantic foundation and tool support for model-driven development with UML 2 activity diagrams

Online ansehen
Schließen

Links

... zur Hochschulschrift via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Universität Ulm, 2016-03-14T13:38:46Z
Ait Ameur, Yamine [Verfasser:in] ; Schewe, Klaus-Dieter [Herausgeber:in]

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

Online ansehen
Schließen

Zugang

... zum E-Book via DOI (Volltext)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer, 2014

Erschienen in: Lecture notes in computer science ; 8477
Derrick, John [Verfasser:in] ; Fitzgerald, John [Sonstige Person, Familie und Körperschaft]; Gnesi, Stefania [Sonstige Person, Familie und Körperschaft]; Khurshid, Sarfraz [Sonstige Person, Familie und Körperschaft]; Leuschel, Michael [Sonstige Person, Familie und Körperschaft]; Reeves, Steve [Sonstige Person, Familie und Körperschaft]; Riccobene, Elvinia [Sonstige Person, Familie und Körperschaft]

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

Online ansehen
Schließen

Zugang

... zum E-Book via DOI (Volltext)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2012

Erschienen in: Lecture notes in computer science ; 7316

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr