Matches in SemOpenAlex for { <https://semopenalex.org/work/W2099690540> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2099690540 abstract "The design of complex distributed systems can be supported by a methodology where several, increasingly implementation-oriented, formal specifications are successively developed. The relative verification of such specifications is discussed in this memorandum using some example specifications in LOTOS. It is claimed that the adoption of common specification styles can simplify the verification task. Two congruence laws which are not contained in the LOTOS standard are presented." @default.
- W2099690540 created "2016-06-24" @default.
- W2099690540 creator A5048873485 @default.
- W2099690540 date "1989-01-01" @default.
- W2099690540 modified "2023-09-24" @default.
- W2099690540 title "A verification exercise relating to specification styles in LOTOS" @default.
- W2099690540 hasPublicationYear "1989" @default.
- W2099690540 type Work @default.
- W2099690540 sameAs 2099690540 @default.
- W2099690540 citedByCount "2" @default.
- W2099690540 crossrefType "journal-article" @default.
- W2099690540 hasAuthorship W2099690540A5048873485 @default.
- W2099690540 hasConcept C111498074 @default.
- W2099690540 hasConcept C116253237 @default.
- W2099690540 hasConcept C127413603 @default.
- W2099690540 hasConcept C17744445 @default.
- W2099690540 hasConcept C199360897 @default.
- W2099690540 hasConcept C199539241 @default.
- W2099690540 hasConcept C201995342 @default.
- W2099690540 hasConcept C2779017129 @default.
- W2099690540 hasConcept C2780451532 @default.
- W2099690540 hasConcept C41008148 @default.
- W2099690540 hasConcept C75606506 @default.
- W2099690540 hasConceptScore W2099690540C111498074 @default.
- W2099690540 hasConceptScore W2099690540C116253237 @default.
- W2099690540 hasConceptScore W2099690540C127413603 @default.
- W2099690540 hasConceptScore W2099690540C17744445 @default.
- W2099690540 hasConceptScore W2099690540C199360897 @default.
- W2099690540 hasConceptScore W2099690540C199539241 @default.
- W2099690540 hasConceptScore W2099690540C201995342 @default.
- W2099690540 hasConceptScore W2099690540C2779017129 @default.
- W2099690540 hasConceptScore W2099690540C2780451532 @default.
- W2099690540 hasConceptScore W2099690540C41008148 @default.
- W2099690540 hasConceptScore W2099690540C75606506 @default.
- W2099690540 hasLocation W20996905401 @default.
- W2099690540 hasOpenAccess W2099690540 @default.
- W2099690540 hasPrimaryLocation W20996905401 @default.
- W2099690540 hasRelatedWork W1496543654 @default.
- W2099690540 hasRelatedWork W1514630934 @default.
- W2099690540 hasRelatedWork W1515035016 @default.
- W2099690540 hasRelatedWork W1579896659 @default.
- W2099690540 hasRelatedWork W1599246091 @default.
- W2099690540 hasRelatedWork W1964116692 @default.
- W2099690540 hasRelatedWork W1991686240 @default.
- W2099690540 hasRelatedWork W2004134667 @default.
- W2099690540 hasRelatedWork W2030514453 @default.
- W2099690540 hasRelatedWork W2036502861 @default.
- W2099690540 hasRelatedWork W2065626052 @default.
- W2099690540 hasRelatedWork W2072020785 @default.
- W2099690540 hasRelatedWork W2083131134 @default.
- W2099690540 hasRelatedWork W2126804632 @default.
- W2099690540 hasRelatedWork W2128447142 @default.
- W2099690540 hasRelatedWork W2131641191 @default.
- W2099690540 hasRelatedWork W2141274300 @default.
- W2099690540 hasRelatedWork W2167591408 @default.
- W2099690540 hasRelatedWork W2170971970 @default.
- W2099690540 hasRelatedWork W44333732 @default.
- W2099690540 isParatext "false" @default.
- W2099690540 isRetracted "false" @default.
- W2099690540 magId "2099690540" @default.
- W2099690540 workType "article" @default.