Matches in SemOpenAlex for { <https://semopenalex.org/work/W4378551491> ?p ?o ?g. }
- W4378551491 endingPage "33" @default.
- W4378551491 startingPage "16" @default.
- W4378551491 abstract "This paper summarises recent developments in the application of modular formalisms to model-based verification of industrial automation systems. The paper is a tribute to the legacy of Professor Hans-Michael Hanisch who invented Net Condition/Event Systems (NCES) and passionately promoted the closed-loop modelling approach to modelling and analysis of automation systems. The paper surveys the related works and highlights the impact NCES has made on the current progress of modular automation systems verification." @default.
- W4378551491 created "2023-05-28" @default.
- W4378551491 creator A5002944761 @default.
- W4378551491 creator A5005006389 @default.
- W4378551491 creator A5008981533 @default.
- W4378551491 creator A5009324275 @default.
- W4378551491 date "2023-01-01" @default.
- W4378551491 modified "2023-10-18" @default.
- W4378551491 title "Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems" @default.
- W4378551491 cites W1547450940 @default.
- W4378551491 cites W1642772123 @default.
- W4378551491 cites W1965114752 @default.
- W4378551491 cites W1977592063 @default.
- W4378551491 cites W2009016637 @default.
- W4378551491 cites W2016047874 @default.
- W4378551491 cites W2038824317 @default.
- W4378551491 cites W2057461677 @default.
- W4378551491 cites W2078984959 @default.
- W4378551491 cites W2090125314 @default.
- W4378551491 cites W2100054110 @default.
- W4378551491 cites W2117360144 @default.
- W4378551491 cites W2118898045 @default.
- W4378551491 cites W2132242737 @default.
- W4378551491 cites W2137212541 @default.
- W4378551491 cites W2145352651 @default.
- W4378551491 cites W2559720634 @default.
- W4378551491 cites W2593267253 @default.
- W4378551491 cites W2625267026 @default.
- W4378551491 cites W2896137054 @default.
- W4378551491 cites W2901336098 @default.
- W4378551491 cites W2903851144 @default.
- W4378551491 cites W2986061400 @default.
- W4378551491 cites W3153956962 @default.
- W4378551491 cites W3158479150 @default.
- W4378551491 cites W3179132544 @default.
- W4378551491 cites W3205561606 @default.
- W4378551491 cites W3217238322 @default.
- W4378551491 cites W3217356771 @default.
- W4378551491 cites W4232314362 @default.
- W4378551491 cites W4249959811 @default.
- W4378551491 cites W4312892402 @default.
- W4378551491 cites W4312975269 @default.
- W4378551491 cites W789094022 @default.
- W4378551491 doi "https://doi.org/10.1007/978-3-031-33620-1_2" @default.
- W4378551491 hasPublicationYear "2023" @default.
- W4378551491 type Work @default.
- W4378551491 citedByCount "0" @default.
- W4378551491 crossrefType "book-chapter" @default.
- W4378551491 hasAuthorship W4378551491A5002944761 @default.
- W4378551491 hasAuthorship W4378551491A5005006389 @default.
- W4378551491 hasAuthorship W4378551491A5008981533 @default.
- W4378551491 hasAuthorship W4378551491A5009324275 @default.
- W4378551491 hasConcept C101468663 @default.
- W4378551491 hasConcept C115901376 @default.
- W4378551491 hasConcept C115903868 @default.
- W4378551491 hasConcept C121332964 @default.
- W4378551491 hasConcept C127413603 @default.
- W4378551491 hasConcept C13736549 @default.
- W4378551491 hasConcept C171018156 @default.
- W4378551491 hasConcept C199360897 @default.
- W4378551491 hasConcept C201995342 @default.
- W4378551491 hasConcept C2524010 @default.
- W4378551491 hasConcept C2779662365 @default.
- W4378551491 hasConcept C33923547 @default.
- W4378551491 hasConcept C38677869 @default.
- W4378551491 hasConcept C41008148 @default.
- W4378551491 hasConcept C62520636 @default.
- W4378551491 hasConcept C78519656 @default.
- W4378551491 hasConceptScore W4378551491C101468663 @default.
- W4378551491 hasConceptScore W4378551491C115901376 @default.
- W4378551491 hasConceptScore W4378551491C115903868 @default.
- W4378551491 hasConceptScore W4378551491C121332964 @default.
- W4378551491 hasConceptScore W4378551491C127413603 @default.
- W4378551491 hasConceptScore W4378551491C13736549 @default.
- W4378551491 hasConceptScore W4378551491C171018156 @default.
- W4378551491 hasConceptScore W4378551491C199360897 @default.
- W4378551491 hasConceptScore W4378551491C201995342 @default.
- W4378551491 hasConceptScore W4378551491C2524010 @default.
- W4378551491 hasConceptScore W4378551491C2779662365 @default.
- W4378551491 hasConceptScore W4378551491C33923547 @default.
- W4378551491 hasConceptScore W4378551491C38677869 @default.
- W4378551491 hasConceptScore W4378551491C41008148 @default.
- W4378551491 hasConceptScore W4378551491C62520636 @default.
- W4378551491 hasConceptScore W4378551491C78519656 @default.
- W4378551491 hasLocation W43785514911 @default.
- W4378551491 hasOpenAccess W4378551491 @default.
- W4378551491 hasPrimaryLocation W43785514911 @default.
- W4378551491 hasRelatedWork W1532035848 @default.
- W4378551491 hasRelatedWork W1539846681 @default.
- W4378551491 hasRelatedWork W1950785758 @default.
- W4378551491 hasRelatedWork W1981703794 @default.
- W4378551491 hasRelatedWork W2023896637 @default.
- W4378551491 hasRelatedWork W2185981755 @default.
- W4378551491 hasRelatedWork W2217140526 @default.
- W4378551491 hasRelatedWork W3196191855 @default.
- W4378551491 hasRelatedWork W4235091896 @default.
- W4378551491 hasRelatedWork W57206970 @default.
- W4378551491 isParatext "false" @default.