Matches in SemOpenAlex for { <https://semopenalex.org/work/W2913709827> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W2913709827 endingPage "258" @default.
- W2913709827 startingPage "233" @default.
- W2913709827 abstract "This chapter contains sections titled: Overview of the LOTOS notation and method Analysis and specification of case 1 Analysis and specification of case 2 Validation and verification of the Lotos specifications Natural language description of the specifications Conclusion" @default.
- W2913709827 created "2019-02-21" @default.
- W2913709827 creator A5047029242 @default.
- W2913709827 creator A5048352182 @default.
- W2913709827 date "2006-01-01" @default.
- W2913709827 modified "2023-09-23" @default.
- W2913709827 title "E-LOTOS" @default.
- W2913709827 doi "https://doi.org/10.1002/9780470612514.ch13" @default.
- W2913709827 hasPublicationYear "2006" @default.
- W2913709827 type Work @default.
- W2913709827 sameAs 2913709827 @default.
- W2913709827 citedByCount "0" @default.
- W2913709827 crossrefType "other" @default.
- W2913709827 hasAuthorship W2913709827A5047029242 @default.
- W2913709827 hasAuthorship W2913709827A5048352182 @default.
- W2913709827 hasConcept C116253237 @default.
- W2913709827 hasConcept C199360897 @default.
- W2913709827 hasConcept C201677973 @default.
- W2913709827 hasConcept C33923547 @default.
- W2913709827 hasConcept C41008148 @default.
- W2913709827 hasConcept C45357846 @default.
- W2913709827 hasConcept C90069079 @default.
- W2913709827 hasConcept C94375191 @default.
- W2913709827 hasConceptScore W2913709827C116253237 @default.
- W2913709827 hasConceptScore W2913709827C199360897 @default.
- W2913709827 hasConceptScore W2913709827C201677973 @default.
- W2913709827 hasConceptScore W2913709827C33923547 @default.
- W2913709827 hasConceptScore W2913709827C41008148 @default.
- W2913709827 hasConceptScore W2913709827C45357846 @default.
- W2913709827 hasConceptScore W2913709827C90069079 @default.
- W2913709827 hasConceptScore W2913709827C94375191 @default.
- W2913709827 hasLocation W29137098271 @default.
- W2913709827 hasOpenAccess W2913709827 @default.
- W2913709827 hasPrimaryLocation W29137098271 @default.
- W2913709827 hasRelatedWork W1541085282 @default.
- W2913709827 hasRelatedWork W1591156284 @default.
- W2913709827 hasRelatedWork W2065369774 @default.
- W2913709827 hasRelatedWork W2140467164 @default.
- W2913709827 hasRelatedWork W2350068048 @default.
- W2913709827 hasRelatedWork W2368560475 @default.
- W2913709827 hasRelatedWork W2565237831 @default.
- W2913709827 hasRelatedWork W2592399342 @default.
- W2913709827 hasRelatedWork W2898425611 @default.
- W2913709827 hasRelatedWork W4361193698 @default.
- W2913709827 isParatext "false" @default.
- W2913709827 isRetracted "false" @default.
- W2913709827 magId "2913709827" @default.
- W2913709827 workType "other" @default.