Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
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
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s13272-024-00762-6
- URN
-
urn:nbn:de:101:1-2501092104055.015920062215
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:33 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
- Kausch, Hendrik
- Pfeiffer, Mathias
- Raco, Deni
- Rumpe, Bernhard
- Schweiger, Andreas
- SpringerLink (Online service)
Other Objects (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