Matches in SemOpenAlex for { <https://semopenalex.org/work/W2133372326> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2133372326 abstract "It is very advantageous to use virtual techniques for testing and developing new hardware and software systems within a manufacturing system. It is, however, of greatest importance that the virtual model can be trusted so that the results of the development and tests can be directly transferred to a real system without any manual last minute changes. In order to trust the result, formal verification techniques can be applied and by doing that guaranteeing a correct system behavior. Today, there is a gap between how systems are modeled in simulation softwares and formal verification softwares and it is therefore hard to perform formal verification. In order to limit the risk of introducing errors it is also important that the specifications created in the simulation softwares are not manually converted into formal languages. The present paper presents a method for sharing information between the different virtual development tools and formal verification tools. A database, storing necessary control information for verification and controller synthesis, is presented." @default.
- W2133372326 created "2016-06-24" @default.
- W2133372326 creator A5010207028 @default.
- W2133372326 creator A5043397902 @default.
- W2133372326 creator A5043635678 @default.
- W2133372326 creator A5076331540 @default.
- W2133372326 date "2011-06-01" @default.
- W2133372326 modified "2023-09-26" @default.
- W2133372326 title "Vendor independent control database for virtual preparation and formal verification" @default.
- W2133372326 cites W1191253103 @default.
- W2133372326 cites W1587663028 @default.
- W2133372326 cites W2035939251 @default.
- W2133372326 cites W2117519456 @default.
- W2133372326 cites W2126295866 @default.
- W2133372326 cites W2163119090 @default.
- W2133372326 cites W2168877254 @default.
- W2133372326 cites W644995665 @default.
- W2133372326 cites W965168884 @default.
- W2133372326 cites W278158007 @default.
- W2133372326 doi "https://doi.org/10.1109/icinfa.2011.5949114" @default.
- W2133372326 hasPublicationYear "2011" @default.
- W2133372326 type Work @default.
- W2133372326 sameAs 2133372326 @default.
- W2133372326 citedByCount "1" @default.
- W2133372326 countsByYear W21333723262012 @default.
- W2133372326 crossrefType "proceedings-article" @default.
- W2133372326 hasAuthorship W2133372326A5010207028 @default.
- W2133372326 hasAuthorship W2133372326A5043397902 @default.
- W2133372326 hasAuthorship W2133372326A5043635678 @default.
- W2133372326 hasAuthorship W2133372326A5076331540 @default.
- W2133372326 hasBestOaLocation W21333723262 @default.
- W2133372326 hasConcept C111498074 @default.
- W2133372326 hasConcept C115903868 @default.
- W2133372326 hasConcept C116253237 @default.
- W2133372326 hasConcept C142284323 @default.
- W2133372326 hasConcept C144133560 @default.
- W2133372326 hasConcept C149091818 @default.
- W2133372326 hasConcept C149635348 @default.
- W2133372326 hasConcept C162853370 @default.
- W2133372326 hasConcept C186846655 @default.
- W2133372326 hasConcept C199360897 @default.
- W2133372326 hasConcept C2777338717 @default.
- W2133372326 hasConcept C2777904410 @default.
- W2133372326 hasConcept C33054407 @default.
- W2133372326 hasConcept C3406870 @default.
- W2133372326 hasConcept C41008148 @default.
- W2133372326 hasConcept C62460635 @default.
- W2133372326 hasConcept C75606506 @default.
- W2133372326 hasConcept C77088390 @default.
- W2133372326 hasConceptScore W2133372326C111498074 @default.
- W2133372326 hasConceptScore W2133372326C115903868 @default.
- W2133372326 hasConceptScore W2133372326C116253237 @default.
- W2133372326 hasConceptScore W2133372326C142284323 @default.
- W2133372326 hasConceptScore W2133372326C144133560 @default.
- W2133372326 hasConceptScore W2133372326C149091818 @default.
- W2133372326 hasConceptScore W2133372326C149635348 @default.
- W2133372326 hasConceptScore W2133372326C162853370 @default.
- W2133372326 hasConceptScore W2133372326C186846655 @default.
- W2133372326 hasConceptScore W2133372326C199360897 @default.
- W2133372326 hasConceptScore W2133372326C2777338717 @default.
- W2133372326 hasConceptScore W2133372326C2777904410 @default.
- W2133372326 hasConceptScore W2133372326C33054407 @default.
- W2133372326 hasConceptScore W2133372326C3406870 @default.
- W2133372326 hasConceptScore W2133372326C41008148 @default.
- W2133372326 hasConceptScore W2133372326C62460635 @default.
- W2133372326 hasConceptScore W2133372326C75606506 @default.
- W2133372326 hasConceptScore W2133372326C77088390 @default.
- W2133372326 hasLocation W21333723261 @default.
- W2133372326 hasLocation W21333723262 @default.
- W2133372326 hasOpenAccess W2133372326 @default.
- W2133372326 hasPrimaryLocation W21333723261 @default.
- W2133372326 hasRelatedWork W106288861 @default.
- W2133372326 hasRelatedWork W1485997719 @default.
- W2133372326 hasRelatedWork W1967571475 @default.
- W2133372326 hasRelatedWork W2018464677 @default.
- W2133372326 hasRelatedWork W2039171199 @default.
- W2133372326 hasRelatedWork W2056457857 @default.
- W2133372326 hasRelatedWork W2058346510 @default.
- W2133372326 hasRelatedWork W2059494389 @default.
- W2133372326 hasRelatedWork W2071213760 @default.
- W2133372326 hasRelatedWork W2089433324 @default.
- W2133372326 hasRelatedWork W2104779491 @default.
- W2133372326 hasRelatedWork W2108088797 @default.
- W2133372326 hasRelatedWork W2119899927 @default.
- W2133372326 hasRelatedWork W2123287831 @default.
- W2133372326 hasRelatedWork W2168221375 @default.
- W2133372326 hasRelatedWork W2168877254 @default.
- W2133372326 hasRelatedWork W3006301049 @default.
- W2133372326 hasRelatedWork W3050249911 @default.
- W2133372326 hasRelatedWork W591383957 @default.
- W2133372326 hasRelatedWork W1539428940 @default.
- W2133372326 isParatext "false" @default.
- W2133372326 isRetracted "false" @default.
- W2133372326 magId "2133372326" @default.
- W2133372326 workType "article" @default.