Monografie
Formal models of communicating systems : languages, automata, and monadic second-order logic ; with 6 tables
- Sprache
-
Englisch
- Umfang
-
IX, 181 S.
- ISBN
-
978-3-540-32922-0
- Identifier
-
978881222
Thema
Automat ; Monadische Logik ; Stufe 2 ; Message sequence chart ; Kommunikationssystem ; Formale Methode
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:32 MESZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
Automatic test generation based on formal specifications : practical procedures for efficient state space exploration and improved representation of test cases
System analysis and modeling : revised selected papers
Distributed system design with message sequence charts
Telecommunications and beyond: the broader applicability of SDL and MSC : third international workshop ; revised papers
MINA - a tool for MSC-based performance analysis and simulation of distributed systems
Kompatibilitätsanalyse dynamischen Verhaltens von integrierten Automobil-Steuergeräten
Formal modeling and analysis of timed systems : third international conference ; proceedings
Formal modeling and analysis of timed systems : 6th international conference ; proceedings
Formal modeling and analysis of timed systems : 7th international conference ; proceedings
Runtime verification of railway applications with extended live sequence charts
Verification of reactive systems : formal methods and algorithms
Formal modeling and analysis of timed systems : 4th international conference ; proceedings
Automatic test generation based on formal specifications : practical procedures for efficient state space exploration and improved representation of test cases
System analysis and modeling : revised selected papers
Distributed system design with message sequence charts
Telecommunications and beyond: the broader applicability of SDL and MSC : third international workshop ; revised papers
MINA - a tool for MSC-based performance analysis and simulation of distributed systems
Kompatibilitätsanalyse dynamischen Verhaltens von integrierten Automobil-Steuergeräten
Formal modeling and analysis of timed systems : third international conference ; proceedings
Formal modeling and analysis of timed systems : 6th international conference ; proceedings
Formal modeling and analysis of timed systems : 7th international conference ; proceedings
Runtime verification of railway applications with extended live sequence charts
Verification of reactive systems : formal methods and algorithms
Formal modeling and analysis of timed systems : 4th international conference ; proceedings
Automatic test generation based on formal specifications : practical procedures for efficient state space exploration and improved representation of test cases
System analysis and modeling : revised selected papers
Distributed system design with message sequence charts
Telecommunications and beyond: the broader applicability of SDL and MSC : third international workshop ; revised papers
MINA - a tool for MSC-based performance analysis and simulation of distributed systems
Kompatibilitätsanalyse dynamischen Verhaltens von integrierten Automobil-Steuergeräten
Formal modeling and analysis of timed systems : third international conference ; proceedings
Formal modeling and analysis of timed systems : 6th international conference ; proceedings
Formal modeling and analysis of timed systems : 7th international conference ; proceedings
Runtime verification of railway applications with extended live sequence charts
Verification of reactive systems : formal methods and algorithms