Matches in SemOpenAlex for { <https://semopenalex.org/work/W149719342> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W149719342 abstract "In this epilogue chapter, we summarize the book content and we discuss how the methods and notations presented in the book could be adopted, possibly in combination, to derive potentially original solutions for the problem of specifying, modeling, and analyzing complex computerized systems. We support our conclusive remarks by means of a hypothetical case study inspired by the management of an autonomous vehicle. Finally, we outline possible future developments in terms of unifying frameworks that could integrate the salient features of the approaches discussed in the book." @default.
- W149719342 created "2016-06-24" @default.
- W149719342 creator A5002217309 @default.
- W149719342 creator A5031470846 @default.
- W149719342 creator A5054994026 @default.
- W149719342 creator A5088212295 @default.
- W149719342 date "2012-01-01" @default.
- W149719342 modified "2023-09-26" @default.
- W149719342 title "Time Is Up" @default.
- W149719342 cites W1576494527 @default.
- W149719342 cites W2057724671 @default.
- W149719342 cites W2090033687 @default.
- W149719342 cites W71359207 @default.
- W149719342 doi "https://doi.org/10.1007/978-3-642-32332-4_12" @default.
- W149719342 hasPublicationYear "2012" @default.
- W149719342 type Work @default.
- W149719342 sameAs 149719342 @default.
- W149719342 citedByCount "0" @default.
- W149719342 crossrefType "book-chapter" @default.
- W149719342 hasAuthorship W149719342A5002217309 @default.
- W149719342 hasAuthorship W149719342A5031470846 @default.
- W149719342 hasAuthorship W149719342A5054994026 @default.
- W149719342 hasAuthorship W149719342A5088212295 @default.
- W149719342 hasConcept C127413603 @default.
- W149719342 hasConcept C138885662 @default.
- W149719342 hasConcept C154945302 @default.
- W149719342 hasConcept C2522767166 @default.
- W149719342 hasConcept C2780719617 @default.
- W149719342 hasConcept C41008148 @default.
- W149719342 hasConcept C41895202 @default.
- W149719342 hasConcept C45357846 @default.
- W149719342 hasConcept C539667460 @default.
- W149719342 hasConceptScore W149719342C127413603 @default.
- W149719342 hasConceptScore W149719342C138885662 @default.
- W149719342 hasConceptScore W149719342C154945302 @default.
- W149719342 hasConceptScore W149719342C2522767166 @default.
- W149719342 hasConceptScore W149719342C2780719617 @default.
- W149719342 hasConceptScore W149719342C41008148 @default.
- W149719342 hasConceptScore W149719342C41895202 @default.
- W149719342 hasConceptScore W149719342C45357846 @default.
- W149719342 hasConceptScore W149719342C539667460 @default.
- W149719342 hasLocation W1497193421 @default.
- W149719342 hasOpenAccess W149719342 @default.
- W149719342 hasPrimaryLocation W1497193421 @default.
- W149719342 hasRelatedWork W102562125 @default.
- W149719342 hasRelatedWork W119199188 @default.
- W149719342 hasRelatedWork W1217582552 @default.
- W149719342 hasRelatedWork W123259979 @default.
- W149719342 hasRelatedWork W1643957516 @default.
- W149719342 hasRelatedWork W166006193 @default.
- W149719342 hasRelatedWork W2186665424 @default.
- W149719342 hasRelatedWork W2218955113 @default.
- W149719342 hasRelatedWork W237516495 @default.
- W149719342 hasRelatedWork W2487170270 @default.
- W149719342 hasRelatedWork W2527310337 @default.
- W149719342 hasRelatedWork W2528638940 @default.
- W149719342 hasRelatedWork W2887683556 @default.
- W149719342 hasRelatedWork W2948024428 @default.
- W149719342 hasRelatedWork W2975863984 @default.
- W149719342 hasRelatedWork W3095485376 @default.
- W149719342 hasRelatedWork W3204959969 @default.
- W149719342 hasRelatedWork W322979535 @default.
- W149719342 hasRelatedWork W578409340 @default.
- W149719342 hasRelatedWork W195166370 @default.
- W149719342 isParatext "false" @default.
- W149719342 isRetracted "false" @default.
- W149719342 magId "149719342" @default.
- W149719342 workType "book-chapter" @default.