UNIVERSITÄTSBIBLIOTHEK
  • Treffer 8 von 18
Zurück zur Trefferliste

An Introduction to Abstract State Machines

  • This report explains basic notions and concepts of Abstract State Machines (ASM) as well as notation for defining ASM models. The objective here is to provide an intuitive understanding of the formalism; for a rigorous definition of the mathematical foundations of ASM, the reader is referred to [2] and [3]. Further references on ASM-related material can be found on the ASM Web Pages [1].

Volltext Dateien herunterladen

Metadaten exportieren

Weitere Dienste

Teilen auf Twitter Suche bei Google Scholar
Metadaten
Verfasserangaben:Uwe Glässer, Reinhard Gotzhein, Andreas Prinz
URN (Permalink):urn:nbn:de:hbz:386-kluedo-49314
Schriftenreihe (Bandnummer):Interner Bericht des Fachbereich Informatik (326)
Dokumentart:Bericht
Sprache der Veröffentlichung:Englisch
Veröffentlichungsdatum (online):24.10.2017
Jahr der Veröffentlichung:2003
Veröffentlichende Institution:Technische Universität Kaiserslautern
Datum der Publikation (Server):24.10.2017
Seitenzahl:19
Fachbereiche / Organisatorische Einheiten:Fachbereich Informatik
DDC-Sachgruppen:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Lizenz (Deutsch):Creative Commons 4.0 - Namensnennung, nicht kommerziell, keine Bearbeitung (CC BY-NC-ND 4.0)