Matches in SemOpenAlex for { <https://semopenalex.org/work/W23413393> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W23413393 abstract "A formal method is a mathematically-based technique used to describe properties of hardware and software systems. It provides a framework within which large, complex systems may be specified, designed, analyzed, and verified in a systematic rather than ad hoc manner. A method is formal if it has a sound mathematical basis, typically given by a formal specification language" @default.
- W23413393 created "2016-06-24" @default.
- W23413393 creator A5052383402 @default.
- W23413393 date "1998-01-01" @default.
- W23413393 modified "2023-09-25" @default.
- W23413393 title "Formal Methods: Past, Present, and Future" @default.
- W23413393 doi "https://doi.org/10.1007/3-540-49366-2_17" @default.
- W23413393 hasPublicationYear "1998" @default.
- W23413393 type Work @default.
- W23413393 sameAs 23413393 @default.
- W23413393 citedByCount "1" @default.
- W23413393 countsByYear W234133932014 @default.
- W23413393 crossrefType "book-chapter" @default.
- W23413393 hasAuthorship W23413393A5052383402 @default.
- W23413393 hasConcept C102315432 @default.
- W23413393 hasConcept C111498074 @default.
- W23413393 hasConcept C115903868 @default.
- W23413393 hasConcept C116253237 @default.
- W23413393 hasConcept C12426560 @default.
- W23413393 hasConcept C14331664 @default.
- W23413393 hasConcept C146072743 @default.
- W23413393 hasConcept C154945302 @default.
- W23413393 hasConcept C185954173 @default.
- W23413393 hasConcept C195324797 @default.
- W23413393 hasConcept C199360897 @default.
- W23413393 hasConcept C2524010 @default.
- W23413393 hasConcept C2777904410 @default.
- W23413393 hasConcept C33923547 @default.
- W23413393 hasConcept C41008148 @default.
- W23413393 hasConcept C75606506 @default.
- W23413393 hasConcept C80444323 @default.
- W23413393 hasConceptScore W23413393C102315432 @default.
- W23413393 hasConceptScore W23413393C111498074 @default.
- W23413393 hasConceptScore W23413393C115903868 @default.
- W23413393 hasConceptScore W23413393C116253237 @default.
- W23413393 hasConceptScore W23413393C12426560 @default.
- W23413393 hasConceptScore W23413393C14331664 @default.
- W23413393 hasConceptScore W23413393C146072743 @default.
- W23413393 hasConceptScore W23413393C154945302 @default.
- W23413393 hasConceptScore W23413393C185954173 @default.
- W23413393 hasConceptScore W23413393C195324797 @default.
- W23413393 hasConceptScore W23413393C199360897 @default.
- W23413393 hasConceptScore W23413393C2524010 @default.
- W23413393 hasConceptScore W23413393C2777904410 @default.
- W23413393 hasConceptScore W23413393C33923547 @default.
- W23413393 hasConceptScore W23413393C41008148 @default.
- W23413393 hasConceptScore W23413393C75606506 @default.
- W23413393 hasConceptScore W23413393C80444323 @default.
- W23413393 hasLocation W234133931 @default.
- W23413393 hasOpenAccess W23413393 @default.
- W23413393 hasPrimaryLocation W234133931 @default.
- W23413393 hasRelatedWork W1502911509 @default.
- W23413393 hasRelatedWork W1571081862 @default.
- W23413393 hasRelatedWork W1578754560 @default.
- W23413393 hasRelatedWork W1587285018 @default.
- W23413393 hasRelatedWork W1597377714 @default.
- W23413393 hasRelatedWork W1972548976 @default.
- W23413393 hasRelatedWork W2000183619 @default.
- W23413393 hasRelatedWork W2009434827 @default.
- W23413393 hasRelatedWork W2028103556 @default.
- W23413393 hasRelatedWork W2043636408 @default.
- W23413393 hasRelatedWork W2045535964 @default.
- W23413393 hasRelatedWork W2144626181 @default.
- W23413393 hasRelatedWork W2153488594 @default.
- W23413393 hasRelatedWork W2157799413 @default.
- W23413393 hasRelatedWork W2165418237 @default.
- W23413393 hasRelatedWork W2166340014 @default.
- W23413393 hasRelatedWork W2362004553 @default.
- W23413393 hasRelatedWork W2365395524 @default.
- W23413393 hasRelatedWork W2535159545 @default.
- W23413393 hasRelatedWork W54396785 @default.
- W23413393 isParatext "false" @default.
- W23413393 isRetracted "false" @default.
- W23413393 magId "23413393" @default.
- W23413393 workType "book-chapter" @default.