Matches in SemOpenAlex for { <https://semopenalex.org/work/W3006113251> ?p ?o ?g. }
Showing items 1 to 46 of
46
with 100 items per page.
- W3006113251 abstract "In this paper, we investigate the use of formal methods in the various phases of the life-cycle of developing communications protocols, software, and distributed systems. We identify important reas..." @default.
- W3006113251 created "2020-02-24" @default.
- W3006113251 creator A5065848076 @default.
- W3006113251 creator A5080283140 @default.
- W3006113251 date "2005-01-01" @default.
- W3006113251 modified "2023-09-26" @default.
- W3006113251 title "Formal methods: Importance, experience, and comparative analysis" @default.
- W3006113251 doi "https://doi.org/10.5555/1411455.1411473" @default.
- W3006113251 hasPublicationYear "2005" @default.
- W3006113251 type Work @default.
- W3006113251 sameAs 3006113251 @default.
- W3006113251 citedByCount "0" @default.
- W3006113251 crossrefType "journal-article" @default.
- W3006113251 hasAuthorship W3006113251A5065848076 @default.
- W3006113251 hasAuthorship W3006113251A5080283140 @default.
- W3006113251 hasConcept C204321447 @default.
- W3006113251 hasConcept C41008148 @default.
- W3006113251 hasConceptScore W3006113251C204321447 @default.
- W3006113251 hasConceptScore W3006113251C41008148 @default.
- W3006113251 hasLocation W30061132511 @default.
- W3006113251 hasOpenAccess W3006113251 @default.
- W3006113251 hasPrimaryLocation W30061132511 @default.
- W3006113251 hasRelatedWork W1481518662 @default.
- W3006113251 hasRelatedWork W1520592338 @default.
- W3006113251 hasRelatedWork W1525779663 @default.
- W3006113251 hasRelatedWork W1537154714 @default.
- W3006113251 hasRelatedWork W1560121789 @default.
- W3006113251 hasRelatedWork W1595707324 @default.
- W3006113251 hasRelatedWork W1605343538 @default.
- W3006113251 hasRelatedWork W1965215722 @default.
- W3006113251 hasRelatedWork W2043563043 @default.
- W3006113251 hasRelatedWork W2054360185 @default.
- W3006113251 hasRelatedWork W2072171199 @default.
- W3006113251 hasRelatedWork W2118793050 @default.
- W3006113251 hasRelatedWork W2121514094 @default.
- W3006113251 hasRelatedWork W2143067915 @default.
- W3006113251 hasRelatedWork W2210861432 @default.
- W3006113251 hasRelatedWork W2214314364 @default.
- W3006113251 hasRelatedWork W2913145745 @default.
- W3006113251 hasRelatedWork W47868186 @default.
- W3006113251 hasRelatedWork W50495904 @default.
- W3006113251 hasRelatedWork W1490652043 @default.
- W3006113251 isParatext "false" @default.
- W3006113251 isRetracted "false" @default.
- W3006113251 magId "3006113251" @default.
- W3006113251 workType "article" @default.