default author photo

Preben Bohn

Terma A/S

Hovmarken 4

Lystrup, 8520

Denmark

SCHOLARLY PAPERS

1

DOWNLOADS

86

TOTAL CITATIONS

0

Scholarly Papers (1)

1.

Model-Based Safety Analysis of Requirement Specifications

Number of pages: 49 Posted: 05 Mar 2024
Aristotle University of Thessaloniki, Aristotle University of Thessaloniki and Terma A/S
Downloads 86 (783,685)

Abstract:

Loading...

Model-based Design, Requirements Formalization, Ontology-based Specification, Formal Verification, Safety Analysis