FRINK Linked Data Fragments server

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

• W2058408027 endingPage "108" @default.
• W2058408027 startingPage "108" @default.
• W2058408027 abstract "Control software of a manufacturing system is usually designed separated from the real plant or its simulation. Undesired behavior can occur after transferring software to the controller. At best, errors are recognized when starting–up, but there can exist failures that occur rarely and seemingly randomly during operation phase. This problem is of high significance, since the complexity of automated systems rises. Hence, control software bugs should be considered in early project phase. The approach presents an integrated framework that facilitates virtual start–up of a plant. It applies formal methods to simulate and even verify control software. This eases control software design and reduces plant downtimes." @default.
• W2058408027 created "2016-06-24" @default.
• W2058408027 creator A5054333193 @default.
• W2058408027 creator A5061010053 @default.
• W2058408027 creator A5078805087 @default.
• W2058408027 date "2011-01-01" @default.
• W2058408027 modified "2023-09-27" @default.
• W2058408027 title "Virtual start-up of plants using formal methods" @default.
• W2058408027 cites W1504271565 @default.
• W2058408027 cites W1535589004 @default.
• W2058408027 cites W1544676722 @default.
• W2058408027 cites W1550294342 @default.
• W2058408027 cites W1592055490 @default.
• W2058408027 cites W1605715795 @default.
• W2058408027 cites W1820824310 @default.
• W2058408027 cites W1861333731 @default.
• W2058408027 cites W1894254590 @default.
• W2058408027 cites W1897567924 @default.
• W2058408027 cites W1982203328 @default.
• W2058408027 cites W2006843381 @default.
• W2058408027 cites W2016047874 @default.
• W2058408027 cites W2023808162 @default.
• W2058408027 cites W2093055069 @default.
• W2058408027 cites W2107455712 @default.
• W2058408027 cites W2114352998 @default.
• W2058408027 cites W2118215721 @default.
• W2058408027 cites W2134501572 @default.
• W2058408027 cites W2136692964 @default.
• W2058408027 cites W2145098829 @default.
• W2058408027 cites W2147476198 @default.
• W2058408027 cites W2147740041 @default.
• W2058408027 cites W2152691384 @default.
• W2058408027 cites W2172248610 @default.
• W2058408027 cites W2263584683 @default.
• W2058408027 cites W2345360721 @default.
• W2058408027 cites W2534818879 @default.
• W2058408027 cites W2733125469 @default.
• W2058408027 cites W611995106 @default.
• W2058408027 cites W1596925735 @default.
• W2058408027 cites W1651582445 @default.
• W2058408027 doi "https://doi.org/10.1504/ijcat.2011.045401" @default.
• W2058408027 hasPublicationYear "2011" @default.
• W2058408027 type Work @default.
• W2058408027 sameAs 2058408027 @default.
• W2058408027 citedByCount "6" @default.
• W2058408027 countsByYear W20584080272012 @default.
• W2058408027 countsByYear W20584080272013 @default.
• W2058408027 countsByYear W20584080272017 @default.
• W2058408027 countsByYear W20584080272019 @default.
• W2058408027 crossrefType "journal-article" @default.
• W2058408027 hasAuthorship W2058408027A5054333193 @default.
• W2058408027 hasAuthorship W2058408027A5061010053 @default.
• W2058408027 hasAuthorship W2058408027A5078805087 @default.
• W2058408027 hasConcept C111919701 @default.
• W2058408027 hasConcept C115903868 @default.
• W2058408027 hasConcept C127413603 @default.
• W2058408027 hasConcept C154945302 @default.
• W2058408027 hasConcept C200601418 @default.
• W2058408027 hasConcept C203479927 @default.
• W2058408027 hasConcept C21547014 @default.
• W2058408027 hasConcept C2775924081 @default.
• W2058408027 hasConcept C2777904410 @default.
• W2058408027 hasConcept C2988765172 @default.
• W2058408027 hasConcept C41008148 @default.
• W2058408027 hasConcept C48002344 @default.
• W2058408027 hasConcept C529173508 @default.
• W2058408027 hasConcept C6557445 @default.
• W2058408027 hasConcept C86803240 @default.
• W2058408027 hasConceptScore W2058408027C111919701 @default.
• W2058408027 hasConceptScore W2058408027C115903868 @default.
• W2058408027 hasConceptScore W2058408027C127413603 @default.
• W2058408027 hasConceptScore W2058408027C154945302 @default.
• W2058408027 hasConceptScore W2058408027C200601418 @default.
• W2058408027 hasConceptScore W2058408027C203479927 @default.
• W2058408027 hasConceptScore W2058408027C21547014 @default.
• W2058408027 hasConceptScore W2058408027C2775924081 @default.
• W2058408027 hasConceptScore W2058408027C2777904410 @default.
• W2058408027 hasConceptScore W2058408027C2988765172 @default.
• W2058408027 hasConceptScore W2058408027C41008148 @default.
• W2058408027 hasConceptScore W2058408027C48002344 @default.
• W2058408027 hasConceptScore W2058408027C529173508 @default.
• W2058408027 hasConceptScore W2058408027C6557445 @default.
• W2058408027 hasConceptScore W2058408027C86803240 @default.
• W2058408027 hasIssue "2/3" @default.
• W2058408027 hasLocation W20584080271 @default.
• W2058408027 hasOpenAccess W2058408027 @default.
• W2058408027 hasPrimaryLocation W20584080271 @default.
• W2058408027 hasRelatedWork W1514039603 @default.
• W2058408027 hasRelatedWork W1528679027 @default.
• W2058408027 hasRelatedWork W1971138889 @default.
• W2058408027 hasRelatedWork W2093432410 @default.
• W2058408027 hasRelatedWork W2147149038 @default.
• W2058408027 hasRelatedWork W2327815632 @default.
• W2058408027 hasRelatedWork W2390147796 @default.
• W2058408027 hasRelatedWork W2769494974 @default.
• W2058408027 hasRelatedWork W2942883451 @default.
• W2058408027 hasRelatedWork W827963241 @default.
• W2058408027 hasVolume "42" @default.

• next