Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications ; day:21 ; month:10 ; year:2024 ; pages:1-16
CEAS Aeronautical Journal / Confederation of European Aerospace Societies ; (21.10.2024), 1-16
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s13272-024-00762-6
- URN
-
urn:nbn:de:101:1-2501092104055.015920062215
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2202, 03:41 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
- Kausch, Hendrik
- Pfeiffer, Mathias
- Raco, Deni
- Rumpe, Bernhard
- Schweiger, Andreas
- SpringerLink (Online service)
Ähnliche Objekte (12)
Model-driven development for functional correctness of avionics systems : a verification framework for SysML specifications
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Correctness, completeness, and consistency of equational data type specifications
Correctness, completeness, and consistency of equational data type specifications
Parametric algebraic specifications with Gentzen formulas : free functor semantics and correctness
Correctness conditions for property nominalists
WESSBAS: extraction of probabilistic workload specifications for load testing and performance prediction—a model-driven approach for session-based application systems
WESSBAS: extraction of probabilistic workload specifications for load testing and performance prediction—a model-driven approach for session-based application systems
Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela
Traits: Correctness-by-Construction for Free
Distributive laws for monotone specifications
Executable specifications for language implementation
Model-driven development for functional correctness of avionics systems : a verification framework for SysML specifications
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Correctness, completeness, and consistency of equational data type specifications
Correctness, completeness, and consistency of equational data type specifications
Parametric algebraic specifications with Gentzen formulas : free functor semantics and correctness
Correctness conditions for property nominalists
WESSBAS: extraction of probabilistic workload specifications for load testing and performance prediction—a model-driven approach for session-based application systems
WESSBAS: extraction of probabilistic workload specifications for load testing and performance prediction—a model-driven approach for session-based application systems
Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela
Traits: Correctness-by-Construction for Free
Distributive laws for monotone specifications
Executable specifications for language implementation
Model-driven development for functional correctness of avionics systems : a verification framework for SysML specifications
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Correctness, completeness, and consistency of equational data type specifications
Correctness, completeness, and consistency of equational data type specifications
Parametric algebraic specifications with Gentzen formulas : free functor semantics and correctness
Correctness conditions for property nominalists
WESSBAS: extraction of probabilistic workload specifications for load testing and performance prediction—a model-driven approach for session-based application systems
WESSBAS: extraction of probabilistic workload specifications for load testing and performance prediction—a model-driven approach for session-based application systems
Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela
Traits: Correctness-by-Construction for Free
Distributive laws for monotone specifications