Matches in SemOpenAlex for { <https://semopenalex.org/work/W2097869425> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2097869425 abstract "A formal design method, based on an extended version of Receptive Process Theory, which is suitable for use in the design of real-time systems is described. The method is particularly appropriate for use with Ada software, as it can fully exploit Ada's advanced features such as tasking, multiple entry-points, exception handling, etc., and also supports asynchronous communication. >" @default.
- W2097869425 created "2016-06-24" @default.
- W2097869425 creator A5007119340 @default.
- W2097869425 date "2002-12-17" @default.
- W2097869425 modified "2023-09-26" @default.
- W2097869425 title "Formally specifying real-time Ada software" @default.
- W2097869425 cites W1491037212 @default.
- W2097869425 cites W2026787186 @default.
- W2097869425 cites W2045723688 @default.
- W2097869425 cites W2141137698 @default.
- W2097869425 cites W2145968859 @default.
- W2097869425 cites W85874668 @default.
- W2097869425 doi "https://doi.org/10.1109/rta.1994.316139" @default.
- W2097869425 hasPublicationYear "2002" @default.
- W2097869425 type Work @default.
- W2097869425 sameAs 2097869425 @default.
- W2097869425 citedByCount "1" @default.
- W2097869425 crossrefType "proceedings-article" @default.
- W2097869425 hasAuthorship W2097869425A5007119340 @default.
- W2097869425 hasConcept C115903868 @default.
- W2097869425 hasConcept C120314980 @default.
- W2097869425 hasConcept C149635348 @default.
- W2097869425 hasConcept C151319957 @default.
- W2097869425 hasConcept C165696696 @default.
- W2097869425 hasConcept C199360897 @default.
- W2097869425 hasConcept C2777904410 @default.
- W2097869425 hasConcept C31258907 @default.
- W2097869425 hasConcept C38652104 @default.
- W2097869425 hasConcept C41008148 @default.
- W2097869425 hasConcept C52913732 @default.
- W2097869425 hasConcept C529173508 @default.
- W2097869425 hasConcept C75606506 @default.
- W2097869425 hasConcept C79403827 @default.
- W2097869425 hasConcept C98045186 @default.
- W2097869425 hasConceptScore W2097869425C115903868 @default.
- W2097869425 hasConceptScore W2097869425C120314980 @default.
- W2097869425 hasConceptScore W2097869425C149635348 @default.
- W2097869425 hasConceptScore W2097869425C151319957 @default.
- W2097869425 hasConceptScore W2097869425C165696696 @default.
- W2097869425 hasConceptScore W2097869425C199360897 @default.
- W2097869425 hasConceptScore W2097869425C2777904410 @default.
- W2097869425 hasConceptScore W2097869425C31258907 @default.
- W2097869425 hasConceptScore W2097869425C38652104 @default.
- W2097869425 hasConceptScore W2097869425C41008148 @default.
- W2097869425 hasConceptScore W2097869425C52913732 @default.
- W2097869425 hasConceptScore W2097869425C529173508 @default.
- W2097869425 hasConceptScore W2097869425C75606506 @default.
- W2097869425 hasConceptScore W2097869425C79403827 @default.
- W2097869425 hasConceptScore W2097869425C98045186 @default.
- W2097869425 hasLocation W20978694251 @default.
- W2097869425 hasOpenAccess W2097869425 @default.
- W2097869425 hasPrimaryLocation W20978694251 @default.
- W2097869425 hasRelatedWork W101636990 @default.
- W2097869425 hasRelatedWork W1487613148 @default.
- W2097869425 hasRelatedWork W1502798901 @default.
- W2097869425 hasRelatedWork W1506313417 @default.
- W2097869425 hasRelatedWork W1526503299 @default.
- W2097869425 hasRelatedWork W1551996734 @default.
- W2097869425 hasRelatedWork W1583624301 @default.
- W2097869425 hasRelatedWork W1603270255 @default.
- W2097869425 hasRelatedWork W1603352078 @default.
- W2097869425 hasRelatedWork W1608405167 @default.
- W2097869425 hasRelatedWork W1968826237 @default.
- W2097869425 hasRelatedWork W1996653852 @default.
- W2097869425 hasRelatedWork W2036541523 @default.
- W2097869425 hasRelatedWork W2039989830 @default.
- W2097869425 hasRelatedWork W2184762077 @default.
- W2097869425 hasRelatedWork W218838345 @default.
- W2097869425 hasRelatedWork W2991049072 @default.
- W2097869425 hasRelatedWork W39543364 @default.
- W2097869425 hasRelatedWork W636833255 @default.
- W2097869425 hasRelatedWork W66601924 @default.
- W2097869425 isParatext "false" @default.
- W2097869425 isRetracted "false" @default.
- W2097869425 magId "2097869425" @default.
- W2097869425 workType "article" @default.