Matches in SemOpenAlex for { <https://semopenalex.org/work/W4233416282> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W4233416282 abstract "Controller synthesis provides an automated means to produce architecture-level behaviour models that are enacted by a composition of lower-level software components, ensuring correct behaviour. Such controllers ensure that goals are satisfied for any model-consistent environment behaviour. This paper presents a tool for developing environment models, synthesising controllers efficiently, and enacting those controllers using a composition of existing third-party components. Video: www.youtube.com/watch?v=RnetgVihpV4." @default.
- W4233416282 created "2022-05-12" @default.
- W4233416282 creator A5005812046 @default.
- W4233416282 creator A5012012946 @default.
- W4233416282 creator A5045161607 @default.
- W4233416282 creator A5083113018 @default.
- W4233416282 creator A5091679592 @default.
- W4233416282 date "2013-05-01" @default.
- W4233416282 modified "2023-09-27" @default.
- W4233416282 title "Controller synthesis: From modelling to enactment" @default.
- W4233416282 cites W1480983276 @default.
- W4233416282 cites W1965371799 @default.
- W4233416282 cites W1988506401 @default.
- W4233416282 cites W1994350081 @default.
- W4233416282 cites W2003373522 @default.
- W4233416282 cites W2016206563 @default.
- W4233416282 cites W2021418918 @default.
- W4233416282 cites W2069228270 @default.
- W4233416282 cites W2110340467 @default.
- W4233416282 cites W2113453155 @default.
- W4233416282 cites W2135220153 @default.
- W4233416282 cites W2162646905 @default.
- W4233416282 cites W3023554972 @default.
- W4233416282 doi "https://doi.org/10.1109/icse.2013.6606714" @default.
- W4233416282 hasPublicationYear "2013" @default.
- W4233416282 type Work @default.
- W4233416282 citedByCount "16" @default.
- W4233416282 countsByYear W42334162822013 @default.
- W4233416282 countsByYear W42334162822017 @default.
- W4233416282 countsByYear W42334162822018 @default.
- W4233416282 countsByYear W42334162822019 @default.
- W4233416282 countsByYear W42334162822020 @default.
- W4233416282 countsByYear W42334162822021 @default.
- W4233416282 countsByYear W42334162822023 @default.
- W4233416282 crossrefType "proceedings-article" @default.
- W4233416282 hasAuthorship W4233416282A5005812046 @default.
- W4233416282 hasAuthorship W4233416282A5012012946 @default.
- W4233416282 hasAuthorship W4233416282A5045161607 @default.
- W4233416282 hasAuthorship W4233416282A5083113018 @default.
- W4233416282 hasAuthorship W4233416282A5091679592 @default.
- W4233416282 hasConcept C111919701 @default.
- W4233416282 hasConcept C115903868 @default.
- W4233416282 hasConcept C120314980 @default.
- W4233416282 hasConcept C123657996 @default.
- W4233416282 hasConcept C127413603 @default.
- W4233416282 hasConcept C133731056 @default.
- W4233416282 hasConcept C138885662 @default.
- W4233416282 hasConcept C142362112 @default.
- W4233416282 hasConcept C153349607 @default.
- W4233416282 hasConcept C154945302 @default.
- W4233416282 hasConcept C203479927 @default.
- W4233416282 hasConcept C2775924081 @default.
- W4233416282 hasConcept C2777904410 @default.
- W4233416282 hasConcept C40231798 @default.
- W4233416282 hasConcept C41008148 @default.
- W4233416282 hasConcept C41895202 @default.
- W4233416282 hasConcept C6557445 @default.
- W4233416282 hasConcept C86803240 @default.
- W4233416282 hasConceptScore W4233416282C111919701 @default.
- W4233416282 hasConceptScore W4233416282C115903868 @default.
- W4233416282 hasConceptScore W4233416282C120314980 @default.
- W4233416282 hasConceptScore W4233416282C123657996 @default.
- W4233416282 hasConceptScore W4233416282C127413603 @default.
- W4233416282 hasConceptScore W4233416282C133731056 @default.
- W4233416282 hasConceptScore W4233416282C138885662 @default.
- W4233416282 hasConceptScore W4233416282C142362112 @default.
- W4233416282 hasConceptScore W4233416282C153349607 @default.
- W4233416282 hasConceptScore W4233416282C154945302 @default.
- W4233416282 hasConceptScore W4233416282C203479927 @default.
- W4233416282 hasConceptScore W4233416282C2775924081 @default.
- W4233416282 hasConceptScore W4233416282C2777904410 @default.
- W4233416282 hasConceptScore W4233416282C40231798 @default.
- W4233416282 hasConceptScore W4233416282C41008148 @default.
- W4233416282 hasConceptScore W4233416282C41895202 @default.
- W4233416282 hasConceptScore W4233416282C6557445 @default.
- W4233416282 hasConceptScore W4233416282C86803240 @default.
- W4233416282 hasLocation W42334162821 @default.
- W4233416282 hasOpenAccess W4233416282 @default.
- W4233416282 hasPrimaryLocation W42334162821 @default.
- W4233416282 hasRelatedWork W1587227328 @default.
- W4233416282 hasRelatedWork W1991978630 @default.
- W4233416282 hasRelatedWork W2152858547 @default.
- W4233416282 hasRelatedWork W2160425906 @default.
- W4233416282 hasRelatedWork W2351150037 @default.
- W4233416282 hasRelatedWork W2360873846 @default.
- W4233416282 hasRelatedWork W2361922069 @default.
- W4233416282 hasRelatedWork W2364531466 @default.
- W4233416282 hasRelatedWork W2392526424 @default.
- W4233416282 hasRelatedWork W2998813341 @default.
- W4233416282 isParatext "false" @default.
- W4233416282 isRetracted "false" @default.
- W4233416282 workType "article" @default.