Monografie
Formal approaches to software testing and runtime verification : revised selected papers
- Sprache
-
Englisch
- Umfang
-
VIII, 253 S.
- ISBN
-
978-3-540-49699-1
- Identifier
-
981711073
- Reihe
-
Lecture notes in computer science; Vol. 4262
Thema
Softwaretest ; Formale Methode ; Software ; Model Checking ; Testmustergenerierung ; Laufzeitsystem ; Formale Spezifikationstechnik ; Verifikation ; Konferenzschrift Seattle (Wash.); Kongress Seattle
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:38 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Runtime verification : 7th international workshop
Formal methods : foundations and applications : revised selected papers
Formal methods in computer aided design : third international conference ; proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Software engineering and formal methods : 10th international conference ; proceedings
Software engineering and formal methods : 9th international conference ; proceedings
Formal methods and software engineering : proceedings
Software engineering and formal methods : 11th international conference ; proceedings
Modeling and verification of parallel processes : 4th summer school ; revised tutorial lectures
Structured object-oriented formal language and method : second international workshop ; revised selected papers
Runtime verification : 7th international workshop
Formal methods : foundations and applications : revised selected papers
Formal methods in computer aided design : third international conference ; proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Software engineering and formal methods : 10th international conference ; proceedings
Software engineering and formal methods : 9th international conference ; proceedings
Formal methods and software engineering : proceedings
Software engineering and formal methods : 11th international conference ; proceedings
Modeling and verification of parallel processes : 4th summer school ; revised tutorial lectures
Structured object-oriented formal language and method : second international workshop ; revised selected papers
Runtime verification : 7th international workshop
Formal methods : foundations and applications : revised selected papers
Formal methods in computer aided design : third international conference ; proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Software engineering and formal methods : 10th international conference ; proceedings
Software engineering and formal methods : 9th international conference ; proceedings
Formal methods and software engineering : proceedings
Software engineering and formal methods : 11th international conference ; proceedings
Modeling and verification of parallel processes : 4th summer school ; revised tutorial lectures