Skip to contents

Glässer, Uwe [Author]; Gotzhein, Reinhard [Author]; Prinz, Andreas [Author]

An introduction to abstract state machines

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kaiserslautern: Univ., Fachbereich Informatik, [2003]

Published in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 326
Börger, Egon [Editor] ; ASM 10 2003 Taormina

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 2589
Zimmermann, Wolf [Editor]; Thalheim, Bernhard [Other] ; ASM 11 2004 Wittenberg

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 3052
Börger, Egon [Author]; Stärk, Robert F. [Author]

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Temporal logic and state systems

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2008

Published in: Texts in theoretical computer science
Frappier, Marc [Editor] ; 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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 5977
Blass, Andreas [Editor]; Gurevich, Yuri [Honoree]; Dershowitz, Nachum [Other]; Reisig, Wolfgang [Other]

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 6300
Börger, Egon [Editor]; Butler, Michael [Other]; Bowen, Jonathan P. [Other]; Boca, Paul [Other] ; ABZ 1 2008 London

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 5238
Rust, Heinrich [Author]

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

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

A Refinement Method for Java Programs

View online
Schließen

Links

https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/446

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

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

View online
Schließen

Links

https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/450

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Augsburg University Publication Server (OPUS), 2006-12-22
Sarstedt, Stefan [Author]

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

View online
Schließen

Access

https://d-nb.info/99534048X/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.
Schmid, Joachim [Author]

Refinement and implementation techniques for Abstract State Machines

View online
Schließen

Access

https://d-nb.info/1015323995/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ulm: Universität Ulm. Fakultät für Informatik, 2002
Schellhorn, Gerhard [Author]

Verifikation abstrakter Zustandsmaschinen

View online
Schließen

Access

https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/64497

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Augsburg: Universität Augsburg, 2019
Sarstedt, Stefan [Author]

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

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2006
Nowack, Antje [Author]

Abstract state machines : verification problems and computational power

View online
Schließen

Access

https://d-nb.info/972767908/34

Get information on this title from RWTH Aachen (kostenfrei)

Get information on this title from RWTH Aachen

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.
Löwis of Menar, Martin von [Author]

Formale Semantik des Datentypmodells von SDL-2000

View online
Schließen

Access

https://d-nb.info/970263821/34

kostenfrei

http://dochost.rz.hu-berlin.de/dissertationen/loewis-of-menar-martin-von-2003-12-18/

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.
Klünder, Daniel [Author]

Entwurf eingebetteter Software mit abstrakten Zustandsmaschinen und Business Object Notation

View online
Schließen

Access

https://edocs.tib.eu/files/e01fn10/611743094.pdf

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: RWTH Aachen, Department of Computer Science, 2009

Published in: Aachener Informatik-Berichte ; 2009,4
Nowack, Antje [Author]

Abstract state machines : verification problems and computational power

View online
Schließen

Access

https://edocs.tib.eu/files/e01dd11/475164555.pdf

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2004
Depke, Ralph [Author]

Visuelle Modellierung agentenbasierter Systeme

View online
Schließen

Access

https://d-nb.info/974937002/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication