FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2528366265> ?p ?o ?g. }

• W2528366265 endingPage "873" @default.
• W2528366265 startingPage "856" @default.
• W2528366265 abstract "Using the CIF 3 toolset, we illustrate the general idea of controller synthesis for product line engineering for a prototypical example of a family of coffee machines. The challenge is to integrate a number of given components into a family of products such that the resulting behaviour is guaranteed to respect an attributed feature model as well as additional behavioural requirements. The proposed correctness-by-construction approach incrementally restricts the composed behaviour by subsequently incorporating feature constraints, attribute constraints and temporal constraints. The procedure as presented focusses on synthesis, but leaves ample opportunity to handle e.g. uncontrollable behaviour, dynamic reconfiguration, and product- and family-based analysis." @default.
• W2528366265 created "2016-10-14" @default.
• W2528366265 creator A5018760156 @default.
• W2528366265 creator A5040487816 @default.
• W2528366265 creator A5064415269 @default.
• W2528366265 date "2016-01-01" @default.
• W2528366265 modified "2023-09-23" @default.
• W2528366265 title "Supervisory Controller Synthesis for Product Lines Using CIF 3" @default.
• W2528366265 cites W119990381 @default.
• W2528366265 cites W133349359 @default.
• W2528366265 cites W1497596634 @default.
• W2528366265 cites W1594158258 @default.
• W2528366265 cites W1594430627 @default.
• W2528366265 cites W182551173 @default.
• W2528366265 cites W1979349468 @default.
• W2528366265 cites W1986958631 @default.
• W2528366265 cites W200708283 @default.
• W2528366265 cites W2007170049 @default.
• W2528366265 cites W2022615696 @default.
• W2528366265 cites W2023237006 @default.
• W2528366265 cites W2048949114 @default.
• W2528366265 cites W2071109087 @default.
• W2528366265 cites W2075571135 @default.
• W2528366265 cites W2078250023 @default.
• W2528366265 cites W2110025251 @default.
• W2528366265 cites W2110924437 @default.
• W2528366265 cites W2116352900 @default.
• W2528366265 cites W2120119918 @default.
• W2528366265 cites W2121396013 @default.
• W2528366265 cites W2121468570 @default.
• W2528366265 cites W2122259599 @default.
• W2528366265 cites W2128967738 @default.
• W2528366265 cites W2130195901 @default.
• W2528366265 cites W2140197499 @default.
• W2528366265 cites W2142960988 @default.
• W2528366265 cites W2160363852 @default.
• W2528366265 cites W2164729113 @default.
• W2528366265 cites W2165377379 @default.
• W2528366265 cites W2178572363 @default.
• W2528366265 cites W2183677651 @default.
• W2528366265 cites W2184870076 @default.
• W2528366265 cites W2219042429 @default.
• W2528366265 cites W2324468300 @default.
• W2528366265 cites W2425104583 @default.
• W2528366265 cites W2477378326 @default.
• W2528366265 cites W2528724993 @default.
• W2528366265 cites W83902219 @default.
• W2528366265 doi "https://doi.org/10.1007/978-3-319-47166-2_59" @default.
• W2528366265 hasPublicationYear "2016" @default.
• W2528366265 type Work @default.
• W2528366265 sameAs 2528366265 @default.
• W2528366265 citedByCount "18" @default.
• W2528366265 countsByYear W25283662652016 @default.
• W2528366265 countsByYear W25283662652017 @default.
• W2528366265 countsByYear W25283662652018 @default.
• W2528366265 countsByYear W25283662652019 @default.
• W2528366265 countsByYear W25283662652020 @default.
• W2528366265 countsByYear W25283662652021 @default.
• W2528366265 countsByYear W25283662652022 @default.
• W2528366265 crossrefType "book-chapter" @default.
• W2528366265 hasAuthorship W2528366265A5018760156 @default.
• W2528366265 hasAuthorship W2528366265A5040487816 @default.
• W2528366265 hasAuthorship W2528366265A5064415269 @default.
• W2528366265 hasBestOaLocation W25283662652 @default.
• W2528366265 hasConcept C117671659 @default.
• W2528366265 hasConcept C119701452 @default.
• W2528366265 hasConcept C120314980 @default.
• W2528366265 hasConcept C127413603 @default.
• W2528366265 hasConcept C133731056 @default.
• W2528366265 hasConcept C138885662 @default.
• W2528366265 hasConcept C149635348 @default.
• W2528366265 hasConcept C198352243 @default.
• W2528366265 hasConcept C199360897 @default.
• W2528366265 hasConcept C203479927 @default.
• W2528366265 hasConcept C2524010 @default.
• W2528366265 hasConcept C2776401178 @default.
• W2528366265 hasConcept C2988046880 @default.
• W2528366265 hasConcept C33923547 @default.
• W2528366265 hasConcept C41008148 @default.
• W2528366265 hasConcept C41895202 @default.
• W2528366265 hasConcept C55439883 @default.
• W2528366265 hasConcept C6557445 @default.
• W2528366265 hasConcept C86803240 @default.
• W2528366265 hasConcept C90673727 @default.
• W2528366265 hasConceptScore W2528366265C117671659 @default.
• W2528366265 hasConceptScore W2528366265C119701452 @default.
• W2528366265 hasConceptScore W2528366265C120314980 @default.
• W2528366265 hasConceptScore W2528366265C127413603 @default.
• W2528366265 hasConceptScore W2528366265C133731056 @default.
• W2528366265 hasConceptScore W2528366265C138885662 @default.
• W2528366265 hasConceptScore W2528366265C149635348 @default.
• W2528366265 hasConceptScore W2528366265C198352243 @default.
• W2528366265 hasConceptScore W2528366265C199360897 @default.
• W2528366265 hasConceptScore W2528366265C203479927 @default.
• W2528366265 hasConceptScore W2528366265C2524010 @default.
• W2528366265 hasConceptScore W2528366265C2776401178 @default.
• W2528366265 hasConceptScore W2528366265C2988046880 @default.
• W2528366265 hasConceptScore W2528366265C33923547 @default.

• next