- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Formal Methods for Industrial Critical Systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / Howar, Falk; Barnat, Jiří (Hrsg.). - Cham : Springer, 2018. - (Lecture Notes in Computer Science ; 11119). - S. 35-51. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-030-00243-5
In: 23rd International Conference, FMICS 2018, 3. Sep 2018 - 4. Sep 2018, Maynooth, Ireland
- Classification
-
Ingenieurwissenschaften und Maschinenbau
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
KOPS Universität Konstanz
- (when)
-
2018
- Creator
-
Kölbl, Martin
Leue, Stefan
- URN
-
urn:nbn:de:bsz:352-2-1a3dufmu3aia68
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:30 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
- Kölbl, Martin
- Leue, Stefan
- KOPS Universität Konstanz
Time of origin
- 2018
Other Objects (12)
Automated Predicate Abstraction for Real-Time Models
Automated Freedom from Interference Analysis for Automotive Software
Automated Invariant Generation for the Verification of Real-Time Systems
QuantUM : Quantitative Safety Analysis of UML Models
QoS Specification Based on SDL/MSC and Temporal Logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Methods and semantics for telecommunications systems engineering
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
Four Issues Concerning the Semantics of Message Flow Graphs
Automated Predicate Abstraction for Real-Time Models
Automated Freedom from Interference Analysis for Automotive Software
Automated Invariant Generation for the Verification of Real-Time Systems
QuantUM : Quantitative Safety Analysis of UML Models
QoS Specification Based on SDL/MSC and Temporal Logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Methods and semantics for telecommunications systems engineering
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
Four Issues Concerning the Semantics of Message Flow Graphs
Automated Predicate Abstraction for Real-Time Models
Automated Freedom from Interference Analysis for Automotive Software
Automated Invariant Generation for the Verification of Real-Time Systems
QuantUM : Quantitative Safety Analysis of UML Models
QoS Specification Based on SDL/MSC and Temporal Logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Methods and semantics for telecommunications systems engineering
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