Matches in SemOpenAlex for { <https://semopenalex.org/work/W2131201596> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2131201596 abstract "The specification languages SDL and MSC are used for the development of soft real-time systems. We report on the development of two corresponding validation approaches: validation of designs by simulation and validation of implementations by conformance testing. The specification languages as well as these validation approaches are now being extended to apply to hard real-time systems. An account of results achieved and the direction of future work is given. >" @default.
- W2131201596 created "2016-06-24" @default.
- W2131201596 creator A5022682365 @default.
- W2131201596 creator A5055236677 @default.
- W2131201596 creator A5061079860 @default.
- W2131201596 date "2002-12-17" @default.
- W2131201596 modified "2023-09-26" @default.
- W2131201596 title "Validation of real-time systems: from soft to hard" @default.
- W2131201596 cites W2112378086 @default.
- W2131201596 doi "https://doi.org/10.1109/ecbs.1994.331672" @default.
- W2131201596 hasPublicationYear "2002" @default.
- W2131201596 type Work @default.
- W2131201596 sameAs 2131201596 @default.
- W2131201596 citedByCount "0" @default.
- W2131201596 crossrefType "proceedings-article" @default.
- W2131201596 hasAuthorship W2131201596A5022682365 @default.
- W2131201596 hasAuthorship W2131201596A5055236677 @default.
- W2131201596 hasAuthorship W2131201596A5061079860 @default.
- W2131201596 hasConcept C111919701 @default.
- W2131201596 hasConcept C115903868 @default.
- W2131201596 hasConcept C116253237 @default.
- W2131201596 hasConcept C188087704 @default.
- W2131201596 hasConcept C199360897 @default.
- W2131201596 hasConcept C26713055 @default.
- W2131201596 hasConcept C41008148 @default.
- W2131201596 hasConcept C76844732 @default.
- W2131201596 hasConceptScore W2131201596C111919701 @default.
- W2131201596 hasConceptScore W2131201596C115903868 @default.
- W2131201596 hasConceptScore W2131201596C116253237 @default.
- W2131201596 hasConceptScore W2131201596C188087704 @default.
- W2131201596 hasConceptScore W2131201596C199360897 @default.
- W2131201596 hasConceptScore W2131201596C26713055 @default.
- W2131201596 hasConceptScore W2131201596C41008148 @default.
- W2131201596 hasConceptScore W2131201596C76844732 @default.
- W2131201596 hasLocation W21312015961 @default.
- W2131201596 hasOpenAccess W2131201596 @default.
- W2131201596 hasPrimaryLocation W21312015961 @default.
- W2131201596 hasRelatedWork W1535648515 @default.
- W2131201596 hasRelatedWork W1562672206 @default.
- W2131201596 hasRelatedWork W2078525501 @default.
- W2131201596 hasRelatedWork W2079538004 @default.
- W2131201596 hasRelatedWork W2088327537 @default.
- W2131201596 hasRelatedWork W2091763147 @default.
- W2131201596 hasRelatedWork W2530043382 @default.
- W2131201596 hasRelatedWork W2901132410 @default.
- W2131201596 hasRelatedWork W2916184944 @default.
- W2131201596 hasRelatedWork W2977847291 @default.
- W2131201596 hasRelatedWork W2998489193 @default.
- W2131201596 hasRelatedWork W3033397011 @default.
- W2131201596 hasRelatedWork W3047484697 @default.
- W2131201596 hasRelatedWork W3080197406 @default.
- W2131201596 hasRelatedWork W3092729964 @default.
- W2131201596 hasRelatedWork W3134034699 @default.
- W2131201596 hasRelatedWork W31474718 @default.
- W2131201596 hasRelatedWork W3207895643 @default.
- W2131201596 hasRelatedWork W76986309 @default.
- W2131201596 hasRelatedWork W1589984898 @default.
- W2131201596 isParatext "false" @default.
- W2131201596 isRetracted "false" @default.
- W2131201596 magId "2131201596" @default.
- W2131201596 workType "article" @default.