FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2896846145> ?p ?o ?g. }

• W2896846145 endingPage "74" @default.
• W2896846145 startingPage "63" @default.
• W2896846145 abstract "In this paper, we address the issue of safety-critical software verification and testing that are key requirements for achieving DO-331 and DO-178C regulatory compliance for airborne systems. Formal verification and testing are considered two different activities within the airborne standards and they belong to two different levels in avionics software development cycle. The objective is to integrate model-based verification and model-based testing within one framework and to capture the benefits of their cross-fertilization. It is achieved by proposing a methodology for the verification and testing of parallel communicating agents based on formal models. The results of formal verification and testing can be used as evidence for certification." @default.
• W2896846145 created "2018-10-26" @default.
• W2896846145 creator A5012763710 @default.
• W2896846145 creator A5020978568 @default.
• W2896846145 creator A5038406646 @default.
• W2896846145 creator A5057013558 @default.
• W2896846145 creator A5075124687 @default.
• W2896846145 date "2018-01-01" @default.
• W2896846145 modified "2023-09-27" @default.
• W2896846145 title "Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems" @default.
• W2896846145 cites W1523742478 @default.
• W2896846145 cites W1530540819 @default.
• W2896846145 cites W1605529659 @default.
• W2896846145 cites W1972364602 @default.
• W2896846145 cites W1993784817 @default.
• W2896846145 cites W2028025798 @default.
• W2896846145 cites W2049777185 @default.
• W2896846145 cites W2231486937 @default.
• W2896846145 cites W2272330977 @default.
• W2896846145 cites W2746406845 @default.
• W2896846145 cites W2747184587 @default.
• W2896846145 cites W4211181233 @default.
• W2896846145 cites W4256135941 @default.
• W2896846145 cites W943604084 @default.
• W2896846145 doi "https://doi.org/10.1007/978-3-030-02852-7_6" @default.
• W2896846145 hasPublicationYear "2018" @default.
• W2896846145 type Work @default.
• W2896846145 sameAs 2896846145 @default.
• W2896846145 citedByCount "1" @default.
• W2896846145 countsByYear W28968461452022 @default.
• W2896846145 crossrefType "book-chapter" @default.
• W2896846145 hasAuthorship W2896846145A5012763710 @default.
• W2896846145 hasAuthorship W2896846145A5020978568 @default.
• W2896846145 hasAuthorship W2896846145A5038406646 @default.
• W2896846145 hasAuthorship W2896846145A5057013558 @default.
• W2896846145 hasAuthorship W2896846145A5075124687 @default.
• W2896846145 hasConcept C111498074 @default.
• W2896846145 hasConcept C111919701 @default.
• W2896846145 hasConcept C115903868 @default.
• W2896846145 hasConcept C127413603 @default.
• W2896846145 hasConcept C142284323 @default.
• W2896846145 hasConcept C146978453 @default.
• W2896846145 hasConcept C149091818 @default.
• W2896846145 hasConcept C15792166 @default.
• W2896846145 hasConcept C17744445 @default.
• W2896846145 hasConcept C186846655 @default.
• W2896846145 hasConcept C188087704 @default.
• W2896846145 hasConcept C199360897 @default.
• W2896846145 hasConcept C199539241 @default.
• W2896846145 hasConcept C200601418 @default.
• W2896846145 hasConcept C201995342 @default.
• W2896846145 hasConcept C21547014 @default.
• W2896846145 hasConcept C26517878 @default.
• W2896846145 hasConcept C2777904410 @default.
• W2896846145 hasConcept C33054407 @default.
• W2896846145 hasConcept C41008148 @default.
• W2896846145 hasConcept C46304622 @default.
• W2896846145 hasConcept C48002344 @default.
• W2896846145 hasConcept C62460635 @default.
• W2896846145 hasConcept C75606506 @default.
• W2896846145 hasConcept C76844732 @default.
• W2896846145 hasConceptScore W2896846145C111498074 @default.
• W2896846145 hasConceptScore W2896846145C111919701 @default.
• W2896846145 hasConceptScore W2896846145C115903868 @default.
• W2896846145 hasConceptScore W2896846145C127413603 @default.
• W2896846145 hasConceptScore W2896846145C142284323 @default.
• W2896846145 hasConceptScore W2896846145C146978453 @default.
• W2896846145 hasConceptScore W2896846145C149091818 @default.
• W2896846145 hasConceptScore W2896846145C15792166 @default.
• W2896846145 hasConceptScore W2896846145C17744445 @default.
• W2896846145 hasConceptScore W2896846145C186846655 @default.
• W2896846145 hasConceptScore W2896846145C188087704 @default.
• W2896846145 hasConceptScore W2896846145C199360897 @default.
• W2896846145 hasConceptScore W2896846145C199539241 @default.
• W2896846145 hasConceptScore W2896846145C200601418 @default.
• W2896846145 hasConceptScore W2896846145C201995342 @default.
• W2896846145 hasConceptScore W2896846145C21547014 @default.
• W2896846145 hasConceptScore W2896846145C26517878 @default.
• W2896846145 hasConceptScore W2896846145C2777904410 @default.
• W2896846145 hasConceptScore W2896846145C33054407 @default.
• W2896846145 hasConceptScore W2896846145C41008148 @default.
• W2896846145 hasConceptScore W2896846145C46304622 @default.
• W2896846145 hasConceptScore W2896846145C48002344 @default.
• W2896846145 hasConceptScore W2896846145C62460635 @default.
• W2896846145 hasConceptScore W2896846145C75606506 @default.
• W2896846145 hasConceptScore W2896846145C76844732 @default.
• W2896846145 hasLocation W28968461451 @default.
• W2896846145 hasOpenAccess W2896846145 @default.
• W2896846145 hasPrimaryLocation W28968461451 @default.
• W2896846145 hasRelatedWork W1573022308 @default.
• W2896846145 hasRelatedWork W2108860137 @default.
• W2896846145 hasRelatedWork W2138825781 @default.
• W2896846145 hasRelatedWork W2155438671 @default.
• W2896846145 hasRelatedWork W2295057953 @default.
• W2896846145 hasRelatedWork W2991395850 @default.
• W2896846145 hasRelatedWork W3015867552 @default.
• W2896846145 hasRelatedWork W3120172095 @default.
• W2896846145 hasRelatedWork W4226037613 @default.

• next