Matches in SemOpenAlex for { <https://semopenalex.org/work/W10085865> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W10085865 startingPage "31" @default.
- W10085865 abstract "Virtual Verification of Designs against Requirements (vVDR) is a method for model-based system design verification. This paper discusses enhancements to the vVDR method and its implementation in ModelicaML to further improve the support of system verification activities by automation. In the vVDR method there are different kinds of models that are created independently. However, they will become dependent and need to be related to each other in some concrete verification context. The aim is to reduce modeling errors and modeling efforts by automatically composing verification models from their constituting sub-models based on data dependencies that are defined using so-called mediators, which allow the expression of data dependencies between models without affecting, i.e. changing, the models themselves." @default.
- W10085865 created "2016-06-24" @default.
- W10085865 creator A5070550778 @default.
- W10085865 creator A5076482335 @default.
- W10085865 creator A5087687726 @default.
- W10085865 creator A5087966309 @default.
- W10085865 date "2012-03-26" @default.
- W10085865 modified "2023-09-23" @default.
- W10085865 title "ModelicaML value bindings for automated model composition" @default.
- W10085865 cites W147779991 @default.
- W10085865 cites W1521203270 @default.
- W10085865 cites W1534546224 @default.
- W10085865 cites W1649645444 @default.
- W10085865 cites W1996703648 @default.
- W10085865 cites W2029414465 @default.
- W10085865 cites W2065457963 @default.
- W10085865 cites W2125843769 @default.
- W10085865 cites W2154966898 @default.
- W10085865 doi "https://doi.org/10.5555/2346616.2346647" @default.
- W10085865 hasPublicationYear "2012" @default.
- W10085865 type Work @default.
- W10085865 sameAs 10085865 @default.
- W10085865 citedByCount "5" @default.
- W10085865 countsByYear W100858652012 @default.
- W10085865 countsByYear W100858652013 @default.
- W10085865 countsByYear W100858652019 @default.
- W10085865 crossrefType "journal-article" @default.
- W10085865 hasAuthorship W10085865A5070550778 @default.
- W10085865 hasAuthorship W10085865A5076482335 @default.
- W10085865 hasAuthorship W10085865A5087687726 @default.
- W10085865 hasAuthorship W10085865A5087966309 @default.
- W10085865 hasConcept C111498074 @default.
- W10085865 hasConcept C115901376 @default.
- W10085865 hasConcept C115903868 @default.
- W10085865 hasConcept C124101348 @default.
- W10085865 hasConcept C127413603 @default.
- W10085865 hasConcept C142284323 @default.
- W10085865 hasConcept C149091818 @default.
- W10085865 hasConcept C151730666 @default.
- W10085865 hasConcept C186846655 @default.
- W10085865 hasConcept C199360897 @default.
- W10085865 hasConcept C202973057 @default.
- W10085865 hasConcept C2777904410 @default.
- W10085865 hasConcept C2779343474 @default.
- W10085865 hasConcept C3406870 @default.
- W10085865 hasConcept C41008148 @default.
- W10085865 hasConcept C49895821 @default.
- W10085865 hasConcept C62460635 @default.
- W10085865 hasConcept C77088390 @default.
- W10085865 hasConcept C78519656 @default.
- W10085865 hasConcept C86803240 @default.
- W10085865 hasConceptScore W10085865C111498074 @default.
- W10085865 hasConceptScore W10085865C115901376 @default.
- W10085865 hasConceptScore W10085865C115903868 @default.
- W10085865 hasConceptScore W10085865C124101348 @default.
- W10085865 hasConceptScore W10085865C127413603 @default.
- W10085865 hasConceptScore W10085865C142284323 @default.
- W10085865 hasConceptScore W10085865C149091818 @default.
- W10085865 hasConceptScore W10085865C151730666 @default.
- W10085865 hasConceptScore W10085865C186846655 @default.
- W10085865 hasConceptScore W10085865C199360897 @default.
- W10085865 hasConceptScore W10085865C202973057 @default.
- W10085865 hasConceptScore W10085865C2777904410 @default.
- W10085865 hasConceptScore W10085865C2779343474 @default.
- W10085865 hasConceptScore W10085865C3406870 @default.
- W10085865 hasConceptScore W10085865C41008148 @default.
- W10085865 hasConceptScore W10085865C49895821 @default.
- W10085865 hasConceptScore W10085865C62460635 @default.
- W10085865 hasConceptScore W10085865C77088390 @default.
- W10085865 hasConceptScore W10085865C78519656 @default.
- W10085865 hasConceptScore W10085865C86803240 @default.
- W10085865 hasLocation W100858651 @default.
- W10085865 hasOpenAccess W10085865 @default.
- W10085865 hasPrimaryLocation W100858651 @default.
- W10085865 hasRelatedWork W129252264 @default.
- W10085865 hasRelatedWork W2140586641 @default.
- W10085865 hasRelatedWork W2308417994 @default.
- W10085865 hasRelatedWork W2336882285 @default.
- W10085865 hasRelatedWork W2479666595 @default.
- W10085865 hasRelatedWork W2536828085 @default.
- W10085865 hasRelatedWork W2564540156 @default.
- W10085865 hasRelatedWork W2794308707 @default.
- W10085865 hasRelatedWork W2888349744 @default.
- W10085865 hasRelatedWork W2895720023 @default.
- W10085865 hasRelatedWork W2935844103 @default.
- W10085865 hasRelatedWork W2948452659 @default.
- W10085865 hasRelatedWork W2985569491 @default.
- W10085865 hasRelatedWork W3014326902 @default.
- W10085865 hasRelatedWork W3099973619 @default.
- W10085865 hasRelatedWork W3127501250 @default.
- W10085865 hasRelatedWork W3167070212 @default.
- W10085865 hasRelatedWork W3196049111 @default.
- W10085865 hasRelatedWork W3199149012 @default.
- W10085865 hasRelatedWork W34409909 @default.
- W10085865 isParatext "false" @default.
- W10085865 isRetracted "false" @default.
- W10085865 magId "10085865" @default.
- W10085865 workType "article" @default.