FRINK Linked Data Fragments server

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

• W1976999197 endingPage "922" @default.
• W1976999197 startingPage "915" @default.
• W1976999197 abstract "The growing complexity and the safety-critical requirements of the embedded software in avionics systems present many challenges to current test-based verification technology. The use of formal verification methods can increase design assurance by exploring a larger range of system behaviors and fault conditions than can feasibly be covered by testing or simulation. However, one of the most challenging tasks faced in any formal verification activity is the construction of an adequate model for the environment with which the analyzed system interacts. For real-time systems where the timing characteristics are critical to correct performance this task is even more difficult. In this paper we discuss how an event-triggered model of time (as found in discrete event simulations) can be used as the basis for the environment needed to verify real-time avionics software." @default.
• W1976999197 created "2016-06-24" @default.
• W1976999197 creator A5041002099 @default.
• W1976999197 creator A5091588309 @default.
• W1976999197 date "2003-12-07" @default.
• W1976999197 modified "2023-09-28" @default.
• W1976999197 title "Simulation and verification II: event-triggered environments for verification of real-time systems" @default.
• W1976999197 cites W1540123249 @default.
• W1976999197 cites W1614534029 @default.
• W1976999197 cites W1991339794 @default.
• W1976999197 cites W2104845141 @default.
• W1976999197 cites W2115309705 @default.
• W1976999197 doi "https://doi.org/10.5555/1030818.1030938" @default.
• W1976999197 hasPublicationYear "2003" @default.
• W1976999197 type Work @default.
• W1976999197 sameAs 1976999197 @default.
• W1976999197 citedByCount "0" @default.
• W1976999197 crossrefType "proceedings-article" @default.
• W1976999197 hasAuthorship W1976999197A5041002099 @default.
• W1976999197 hasAuthorship W1976999197A5091588309 @default.
• W1976999197 hasConcept C109905503 @default.
• W1976999197 hasConcept C110251889 @default.
• W1976999197 hasConcept C111498074 @default.
• W1976999197 hasConcept C115903868 @default.
• W1976999197 hasConcept C121332964 @default.
• W1976999197 hasConcept C127413603 @default.
• W1976999197 hasConcept C142284323 @default.
• W1976999197 hasConcept C146978453 @default.
• W1976999197 hasConcept C149091818 @default.
• W1976999197 hasConcept C149635348 @default.
• W1976999197 hasConcept C15792166 @default.
• W1976999197 hasConcept C163707989 @default.
• W1976999197 hasConcept C174683762 @default.
• W1976999197 hasConcept C186846655 @default.
• W1976999197 hasConcept C199360897 @default.
• W1976999197 hasConcept C200601418 @default.
• W1976999197 hasConcept C201995342 @default.
• W1976999197 hasConcept C202973057 @default.
• W1976999197 hasConcept C21547014 @default.
• W1976999197 hasConcept C2777904410 @default.
• W1976999197 hasConcept C2779662365 @default.
• W1976999197 hasConcept C2780451532 @default.
• W1976999197 hasConcept C33054407 @default.
• W1976999197 hasConcept C41008148 @default.
• W1976999197 hasConcept C48002344 @default.
• W1976999197 hasConcept C62520636 @default.
• W1976999197 hasConcept C75606506 @default.
• W1976999197 hasConcept C79403827 @default.
• W1976999197 hasConceptScore W1976999197C109905503 @default.
• W1976999197 hasConceptScore W1976999197C110251889 @default.
• W1976999197 hasConceptScore W1976999197C111498074 @default.
• W1976999197 hasConceptScore W1976999197C115903868 @default.
• W1976999197 hasConceptScore W1976999197C121332964 @default.
• W1976999197 hasConceptScore W1976999197C127413603 @default.
• W1976999197 hasConceptScore W1976999197C142284323 @default.
• W1976999197 hasConceptScore W1976999197C146978453 @default.
• W1976999197 hasConceptScore W1976999197C149091818 @default.
• W1976999197 hasConceptScore W1976999197C149635348 @default.
• W1976999197 hasConceptScore W1976999197C15792166 @default.
• W1976999197 hasConceptScore W1976999197C163707989 @default.
• W1976999197 hasConceptScore W1976999197C174683762 @default.
• W1976999197 hasConceptScore W1976999197C186846655 @default.
• W1976999197 hasConceptScore W1976999197C199360897 @default.
• W1976999197 hasConceptScore W1976999197C200601418 @default.
• W1976999197 hasConceptScore W1976999197C201995342 @default.
• W1976999197 hasConceptScore W1976999197C202973057 @default.
• W1976999197 hasConceptScore W1976999197C21547014 @default.
• W1976999197 hasConceptScore W1976999197C2777904410 @default.
• W1976999197 hasConceptScore W1976999197C2779662365 @default.
• W1976999197 hasConceptScore W1976999197C2780451532 @default.
• W1976999197 hasConceptScore W1976999197C33054407 @default.
• W1976999197 hasConceptScore W1976999197C41008148 @default.
• W1976999197 hasConceptScore W1976999197C48002344 @default.
• W1976999197 hasConceptScore W1976999197C62520636 @default.
• W1976999197 hasConceptScore W1976999197C75606506 @default.
• W1976999197 hasConceptScore W1976999197C79403827 @default.
• W1976999197 hasLocation W19769991971 @default.
• W1976999197 hasOpenAccess W1976999197 @default.
• W1976999197 hasPrimaryLocation W19769991971 @default.
• W1976999197 hasRelatedWork W1492450300 @default.
• W1976999197 hasRelatedWork W1527995060 @default.
• W1976999197 hasRelatedWork W1589427152 @default.
• W1976999197 hasRelatedWork W1962664391 @default.
• W1976999197 hasRelatedWork W1967589009 @default.
• W1976999197 hasRelatedWork W1988675891 @default.
• W1976999197 hasRelatedWork W1993481199 @default.
• W1976999197 hasRelatedWork W2059865504 @default.
• W1976999197 hasRelatedWork W2098776036 @default.
• W1976999197 hasRelatedWork W2101646366 @default.
• W1976999197 hasRelatedWork W2112420251 @default.
• W1976999197 hasRelatedWork W2117877391 @default.
• W1976999197 hasRelatedWork W2142841571 @default.
• W1976999197 hasRelatedWork W2168561991 @default.
• W1976999197 hasRelatedWork W2170192942 @default.
• W1976999197 hasRelatedWork W2295509680 @default.
• W1976999197 hasRelatedWork W2763447832 @default.
• W1976999197 hasRelatedWork W3144859928 @default.
• W1976999197 hasRelatedWork W150430237 @default.

• next