Matches in SemOpenAlex for { <https://semopenalex.org/work/W2619227460> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2619227460 abstract "Abstract The correctness of hard real-time systems depends not only on the correct functional behavior but also on the correct temporal behavior. That is, the designed hard real-time system should meet all its functional and timing requirements even in the worst case. In this paper a method is proposed which supports both functional and timing verification of the specified system. The method integrates the extended SDL and MSC specifications with the scheduling algorithms. The extensions of SDL and MSC are annotations in form of embedded comments in the original languages. They are used to describe the timing requirements of the specified system. The usability of the proposed method is illustrated through a case study." @default.
- W2619227460 created "2017-06-05" @default.
- W2619227460 creator A5045327023 @default.
- W2619227460 date "2000-05-01" @default.
- W2619227460 modified "2023-09-25" @default.
- W2619227460 title "Verification of Both Functional and Timing Requirements of Real-Time Systems" @default.
- W2619227460 cites W2618165525 @default.
- W2619227460 cites W19152576 @default.
- W2619227460 doi "https://doi.org/10.1016/s1474-6670(17)39948-2" @default.
- W2619227460 hasPublicationYear "2000" @default.
- W2619227460 type Work @default.
- W2619227460 sameAs 2619227460 @default.
- W2619227460 citedByCount "1" @default.
- W2619227460 crossrefType "journal-article" @default.
- W2619227460 hasAuthorship W2619227460A5045327023 @default.
- W2619227460 hasConcept C111919701 @default.
- W2619227460 hasConcept C115903868 @default.
- W2619227460 hasConcept C120314980 @default.
- W2619227460 hasConcept C127413603 @default.
- W2619227460 hasConcept C149091818 @default.
- W2619227460 hasConcept C149635348 @default.
- W2619227460 hasConcept C170130773 @default.
- W2619227460 hasConcept C186846655 @default.
- W2619227460 hasConcept C199360897 @default.
- W2619227460 hasConcept C199747065 @default.
- W2619227460 hasConcept C206729178 @default.
- W2619227460 hasConcept C21547014 @default.
- W2619227460 hasConcept C2777904410 @default.
- W2619227460 hasConcept C41008148 @default.
- W2619227460 hasConcept C55439883 @default.
- W2619227460 hasConcept C62235348 @default.
- W2619227460 hasConcept C79403827 @default.
- W2619227460 hasConcept C93682380 @default.
- W2619227460 hasConceptScore W2619227460C111919701 @default.
- W2619227460 hasConceptScore W2619227460C115903868 @default.
- W2619227460 hasConceptScore W2619227460C120314980 @default.
- W2619227460 hasConceptScore W2619227460C127413603 @default.
- W2619227460 hasConceptScore W2619227460C149091818 @default.
- W2619227460 hasConceptScore W2619227460C149635348 @default.
- W2619227460 hasConceptScore W2619227460C170130773 @default.
- W2619227460 hasConceptScore W2619227460C186846655 @default.
- W2619227460 hasConceptScore W2619227460C199360897 @default.
- W2619227460 hasConceptScore W2619227460C199747065 @default.
- W2619227460 hasConceptScore W2619227460C206729178 @default.
- W2619227460 hasConceptScore W2619227460C21547014 @default.
- W2619227460 hasConceptScore W2619227460C2777904410 @default.
- W2619227460 hasConceptScore W2619227460C41008148 @default.
- W2619227460 hasConceptScore W2619227460C55439883 @default.
- W2619227460 hasConceptScore W2619227460C62235348 @default.
- W2619227460 hasConceptScore W2619227460C79403827 @default.
- W2619227460 hasConceptScore W2619227460C93682380 @default.
- W2619227460 hasLocation W26192274601 @default.
- W2619227460 hasOpenAccess W2619227460 @default.
- W2619227460 hasPrimaryLocation W26192274601 @default.
- W2619227460 hasRelatedWork W1479987225 @default.
- W2619227460 hasRelatedWork W2019835709 @default.
- W2619227460 hasRelatedWork W2048444802 @default.
- W2619227460 hasRelatedWork W2182999678 @default.
- W2619227460 hasRelatedWork W2313144851 @default.
- W2619227460 hasRelatedWork W2402056577 @default.
- W2619227460 hasRelatedWork W2465958461 @default.
- W2619227460 hasRelatedWork W2615921905 @default.
- W2619227460 hasRelatedWork W2743504025 @default.
- W2619227460 hasRelatedWork W2746018566 @default.
- W2619227460 hasRelatedWork W2783278179 @default.
- W2619227460 hasRelatedWork W2913371334 @default.
- W2619227460 hasRelatedWork W2979742807 @default.
- W2619227460 hasRelatedWork W3021377875 @default.
- W2619227460 hasRelatedWork W3143607145 @default.
- W2619227460 hasRelatedWork W3148162985 @default.
- W2619227460 hasRelatedWork W3198765018 @default.
- W2619227460 hasRelatedWork W8154928 @default.
- W2619227460 hasRelatedWork W2564790713 @default.
- W2619227460 hasRelatedWork W3100569904 @default.
- W2619227460 isParatext "false" @default.
- W2619227460 isRetracted "false" @default.
- W2619227460 magId "2619227460" @default.
- W2619227460 workType "article" @default.