- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: 2nd International Workshop on Invariant Generation (WING), 2009, University of York, UK
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
Bibliothek der Universität Konstanz
- (when)
-
2010
- Creator
-
Badban, Bahareh
Leue, Stefan
Smaus, Jan-Georg
- URN
-
urn:nbn:de:bsz:352-opus-106016
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 14.08.2025, 10:47 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Badban, Bahareh
- Leue, Stefan
- Smaus, Jan-Georg
- Bibliothek der Universität Konstanz
Time of origin
- 2010
Other Objects (12)
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Automated Predicate Abstraction for Real-Time Models
Automated Functional Safety Analysis of Automated Driving Systems
QoS Specification Based on SDL/MSC and Temporal Logic
Methods and semantics for telecommunications systems engineering
Protocol Verification with Heuristic Search
Specification Languages for Stutter-Invariant Regular Properties
Automated Freedom from Interference Analysis for Automotive Software
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
SpinCause : A Tool for Causality Checking
What Do Message Sequence Charts Mean?
Simulink Design Verifier vs. SPIN : a comparative case study
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Automated Predicate Abstraction for Real-Time Models
Automated Functional Safety Analysis of Automated Driving Systems
QoS Specification Based on SDL/MSC and Temporal Logic
Methods and semantics for telecommunications systems engineering
Protocol Verification with Heuristic Search
Specification Languages for Stutter-Invariant Regular Properties
Automated Freedom from Interference Analysis for Automotive Software
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
SpinCause : A Tool for Causality Checking
What Do Message Sequence Charts Mean?
Simulink Design Verifier vs. SPIN : a comparative case study
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Automated Predicate Abstraction for Real-Time Models
Automated Functional Safety Analysis of Automated Driving Systems
QoS Specification Based on SDL/MSC and Temporal Logic
Methods and semantics for telecommunications systems engineering
Protocol Verification with Heuristic Search
Specification Languages for Stutter-Invariant Regular Properties
Automated Freedom from Interference Analysis for Automotive Software
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
SpinCause : A Tool for Causality Checking
What Do Message Sequence Charts Mean?