Universal Pattern: formalization, testing, coverage, verification, and test case generation for safety-critical requirements
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
MBMV 2016 : 19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen"
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Freiburg
- (wer)
-
Universität
- (wann)
-
2016
- Urheber
- Beteiligte Personen und Organisationen
- DOI
-
10.6094/UNIFR/10633
- URN
-
urn:nbn:de:bsz:25-freidok-106338
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:47 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Teige, Tino
- Bienmüller, Tom
- Holberg, Hans Jürgen
- Wimmer, Ralf
- Universität
Entstanden
- 2016
Ähnliche Objekte (12)
Deductive verification of safety-critical Java programs
Formalization of Network Quality-of-Service Requirements
Towards the formalization of non-functional requirements in conceptual design
Improving coverage in simulation-based verification
On Design-time Modelling and Verification of Safety-critical Component-based Systems
A survey on formal verification techniques for safety-critical systems-on-chip
Formalization of logic
Financial requirements for nationwide fibre access coverage
Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems
User-Centered Requirements for Augmented Reality as a Cognitive Assistant for Safety-Critical Services
Formalization of natural languages
Verification requirements for a nuclear agreement with Iran
Deductive verification of safety-critical Java programs
Formalization of Network Quality-of-Service Requirements
Towards the formalization of non-functional requirements in conceptual design
Improving coverage in simulation-based verification
On Design-time Modelling and Verification of Safety-critical Component-based Systems
A survey on formal verification techniques for safety-critical systems-on-chip
Formalization of logic
Financial requirements for nationwide fibre access coverage
Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems
User-Centered Requirements for Augmented Reality as a Cognitive Assistant for Safety-Critical Services
Formalization of natural languages
Verification requirements for a nuclear agreement with Iran
Deductive verification of safety-critical Java programs
Formalization of Network Quality-of-Service Requirements
Towards the formalization of non-functional requirements in conceptual design
Improving coverage in simulation-based verification
On Design-time Modelling and Verification of Safety-critical Component-based Systems
A survey on formal verification techniques for safety-critical systems-on-chip
Formalization of logic
Financial requirements for nationwide fibre access coverage
Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems
User-Centered Requirements for Augmented Reality as a Cognitive Assistant for Safety-Critical Services
Formalization of natural languages