Matches in SemOpenAlex for { <https://semopenalex.org/work/W820752735> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W820752735 abstract "This volume presents technical issues involved in applying mathematical techniques known as Formal Methods to specify and analytically verify aerospace and avionics software systems." @default.
- W820752735 created "2016-06-24" @default.
- W820752735 creator A5019039670 @default.
- W820752735 date "1997-07-14" @default.
- W820752735 modified "2023-09-27" @default.
- W820752735 title "Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems Volume II: A Practitioner's Companion" @default.
- W820752735 hasPublicationYear "1997" @default.
- W820752735 type Work @default.
- W820752735 sameAs 820752735 @default.
- W820752735 citedByCount "10" @default.
- W820752735 countsByYear W8207527352012 @default.
- W820752735 countsByYear W8207527352015 @default.
- W820752735 countsByYear W8207527352018 @default.
- W820752735 crossrefType "journal-article" @default.
- W820752735 hasAuthorship W820752735A5019039670 @default.
- W820752735 hasConcept C111498074 @default.
- W820752735 hasConcept C115903868 @default.
- W820752735 hasConcept C121332964 @default.
- W820752735 hasConcept C149091818 @default.
- W820752735 hasConcept C186846655 @default.
- W820752735 hasConcept C199360897 @default.
- W820752735 hasConcept C20556612 @default.
- W820752735 hasConcept C2777904410 @default.
- W820752735 hasConcept C33054407 @default.
- W820752735 hasConcept C41008148 @default.
- W820752735 hasConcept C62520636 @default.
- W820752735 hasConcept C75606506 @default.
- W820752735 hasConceptScore W820752735C111498074 @default.
- W820752735 hasConceptScore W820752735C115903868 @default.
- W820752735 hasConceptScore W820752735C121332964 @default.
- W820752735 hasConceptScore W820752735C149091818 @default.
- W820752735 hasConceptScore W820752735C186846655 @default.
- W820752735 hasConceptScore W820752735C199360897 @default.
- W820752735 hasConceptScore W820752735C20556612 @default.
- W820752735 hasConceptScore W820752735C2777904410 @default.
- W820752735 hasConceptScore W820752735C33054407 @default.
- W820752735 hasConceptScore W820752735C41008148 @default.
- W820752735 hasConceptScore W820752735C62520636 @default.
- W820752735 hasConceptScore W820752735C75606506 @default.
- W820752735 hasLocation W8207527351 @default.
- W820752735 hasOpenAccess W820752735 @default.
- W820752735 hasPrimaryLocation W8207527351 @default.
- W820752735 hasRelatedWork W1642730893 @default.
- W820752735 hasRelatedWork W1756317889 @default.
- W820752735 hasRelatedWork W1998864697 @default.
- W820752735 hasRelatedWork W2039866340 @default.
- W820752735 hasRelatedWork W2125706933 @default.
- W820752735 hasRelatedWork W2140033106 @default.
- W820752735 hasRelatedWork W2144973245 @default.
- W820752735 hasRelatedWork W2168088772 @default.
- W820752735 hasRelatedWork W2194744763 @default.
- W820752735 hasRelatedWork W2290307362 @default.
- W820752735 hasRelatedWork W2327089435 @default.
- W820752735 hasRelatedWork W2487240300 @default.
- W820752735 hasRelatedWork W2496101823 @default.
- W820752735 hasRelatedWork W2948331420 @default.
- W820752735 hasRelatedWork W2964811465 @default.
- W820752735 hasRelatedWork W2995474643 @default.
- W820752735 hasRelatedWork W3197694361 @default.
- W820752735 hasRelatedWork W786627058 @default.
- W820752735 hasRelatedWork W2737121959 @default.
- W820752735 hasRelatedWork W768796514 @default.
- W820752735 isParatext "false" @default.
- W820752735 isRetracted "false" @default.
- W820752735 magId "820752735" @default.
- W820752735 workType "article" @default.