Matches in SemOpenAlex for { <https://semopenalex.org/work/W57597413> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W57597413 abstract "Abstract : The goals of Phase 1 are to design in detail a toolkit environment based on formal methods for the specification and verification of distributed real-time systems and to evaluate the design. The evaluation of the design includes investigation of both the capability and potential usefulness of the toolkit environment and the feasibility of its implementation." @default.
- W57597413 created "2016-06-24" @default.
- W57597413 creator A5023096555 @default.
- W57597413 creator A5030380431 @default.
- W57597413 creator A5033183790 @default.
- W57597413 date "1994-07-29" @default.
- W57597413 modified "2023-09-24" @default.
- W57597413 title "Software Tools for Formal Specification and Verification of Distributed Real-Time Systems" @default.
- W57597413 cites W1492571724 @default.
- W57597413 cites W1498342204 @default.
- W57597413 cites W1506588809 @default.
- W57597413 cites W1517157359 @default.
- W57597413 cites W1522283593 @default.
- W57597413 cites W1557493688 @default.
- W57597413 cites W1575028430 @default.
- W57597413 cites W1602114053 @default.
- W57597413 cites W1949244127 @default.
- W57597413 cites W1990106597 @default.
- W57597413 cites W2026629052 @default.
- W57597413 cites W2050887876 @default.
- W57597413 cites W2056359803 @default.
- W57597413 cites W2089501676 @default.
- W57597413 cites W2093045165 @default.
- W57597413 cites W2105390144 @default.
- W57597413 cites W2123322045 @default.
- W57597413 cites W2132645375 @default.
- W57597413 cites W2142210186 @default.
- W57597413 cites W2151392307 @default.
- W57597413 cites W2153439859 @default.
- W57597413 cites W2158249377 @default.
- W57597413 cites W2159626406 @default.
- W57597413 cites W2167731137 @default.
- W57597413 cites W45118203 @default.
- W57597413 cites W59365162 @default.
- W57597413 doi "https://doi.org/10.21236/ada283477" @default.
- W57597413 hasPublicationYear "1994" @default.
- W57597413 type Work @default.
- W57597413 sameAs 57597413 @default.
- W57597413 citedByCount "0" @default.
- W57597413 crossrefType "report" @default.
- W57597413 hasAuthorship W57597413A5023096555 @default.
- W57597413 hasAuthorship W57597413A5030380431 @default.
- W57597413 hasAuthorship W57597413A5033183790 @default.
- W57597413 hasConcept C111498074 @default.
- W57597413 hasConcept C115903868 @default.
- W57597413 hasConcept C116253237 @default.
- W57597413 hasConcept C127413603 @default.
- W57597413 hasConcept C149091818 @default.
- W57597413 hasConcept C186846655 @default.
- W57597413 hasConcept C199360897 @default.
- W57597413 hasConcept C201995342 @default.
- W57597413 hasConcept C2777904410 @default.
- W57597413 hasConcept C33054407 @default.
- W57597413 hasConcept C41008148 @default.
- W57597413 hasConcept C75606506 @default.
- W57597413 hasConceptScore W57597413C111498074 @default.
- W57597413 hasConceptScore W57597413C115903868 @default.
- W57597413 hasConceptScore W57597413C116253237 @default.
- W57597413 hasConceptScore W57597413C127413603 @default.
- W57597413 hasConceptScore W57597413C149091818 @default.
- W57597413 hasConceptScore W57597413C186846655 @default.
- W57597413 hasConceptScore W57597413C199360897 @default.
- W57597413 hasConceptScore W57597413C201995342 @default.
- W57597413 hasConceptScore W57597413C2777904410 @default.
- W57597413 hasConceptScore W57597413C33054407 @default.
- W57597413 hasConceptScore W57597413C41008148 @default.
- W57597413 hasConceptScore W57597413C75606506 @default.
- W57597413 hasLocation W575974131 @default.
- W57597413 hasOpenAccess W57597413 @default.
- W57597413 hasPrimaryLocation W575974131 @default.
- W57597413 hasRelatedWork W1513470120 @default.
- W57597413 hasRelatedWork W1571823944 @default.
- W57597413 hasRelatedWork W1585321256 @default.
- W57597413 hasRelatedWork W1932250361 @default.
- W57597413 hasRelatedWork W1966314255 @default.
- W57597413 hasRelatedWork W1994459599 @default.
- W57597413 hasRelatedWork W2001768364 @default.
- W57597413 hasRelatedWork W2033050790 @default.
- W57597413 hasRelatedWork W2040153910 @default.
- W57597413 hasRelatedWork W2047943801 @default.
- W57597413 hasRelatedWork W2100731616 @default.
- W57597413 hasRelatedWork W2107006294 @default.
- W57597413 hasRelatedWork W2112317337 @default.
- W57597413 hasRelatedWork W2119669916 @default.
- W57597413 hasRelatedWork W2130372530 @default.
- W57597413 hasRelatedWork W2132061124 @default.
- W57597413 hasRelatedWork W21378314 @default.
- W57597413 hasRelatedWork W2140320677 @default.
- W57597413 hasRelatedWork W2171025871 @default.
- W57597413 hasRelatedWork W3141446021 @default.
- W57597413 isParatext "false" @default.
- W57597413 isRetracted "false" @default.
- W57597413 magId "57597413" @default.
- W57597413 workType "report" @default.