Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014245268> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2014245268 abstract "The concept of experimental frame is employed to define circumstances under which a model is simulated and observed. Verifying the applicability of an experimental frame to a model is a key step to ensure that the intended purpose of a simulation can be achieved. We assume that the specification of an experimental frame and a model are two software components in the formal sense. This paper suggests a component-based approach to build the right simulation used for system models verification and validation. We use Input/Output automata for components' behaviour specification. Behavioural signature is employed to specify the experimental frame and model capabilities. Then we formally define applicability conditions with matching rules to verify the trace inclusion between an experimental frame and a model. This approach is illustrated with an application study of an intelligent cruise controller." @default.
- W2014245268 created "2016-06-24" @default.
- W2014245268 creator A5014426569 @default.
- W2014245268 creator A5025579470 @default.
- W2014245268 creator A5037406517 @default.
- W2014245268 date "2010-04-11" @default.
- W2014245268 modified "2023-10-03" @default.
- W2014245268 title "Verifying trace inclusion between an experimental frame and a model" @default.
- W2014245268 cites W2030590080 @default.
- W2014245268 cites W2046534590 @default.
- W2014245268 cites W2054872319 @default.
- W2014245268 cites W2062557177 @default.
- W2014245268 cites W2127951107 @default.
- W2014245268 cites W2129657057 @default.
- W2014245268 cites W2130107043 @default.
- W2014245268 cites W2136699897 @default.
- W2014245268 cites W2137432692 @default.
- W2014245268 cites W2166153669 @default.
- W2014245268 cites W2293287097 @default.
- W2014245268 doi "https://doi.org/10.1145/1878537.1878688" @default.
- W2014245268 hasPublicationYear "2010" @default.
- W2014245268 type Work @default.
- W2014245268 sameAs 2014245268 @default.
- W2014245268 citedByCount "2" @default.
- W2014245268 countsByYear W20142452682014 @default.
- W2014245268 crossrefType "proceedings-article" @default.
- W2014245268 hasAuthorship W2014245268A5014426569 @default.
- W2014245268 hasAuthorship W2014245268A5025579470 @default.
- W2014245268 hasAuthorship W2014245268A5037406517 @default.
- W2014245268 hasConcept C109359841 @default.
- W2014245268 hasConcept C126042441 @default.
- W2014245268 hasConcept C127313418 @default.
- W2014245268 hasConcept C138885662 @default.
- W2014245268 hasConcept C199289684 @default.
- W2014245268 hasConcept C41008148 @default.
- W2014245268 hasConcept C41895202 @default.
- W2014245268 hasConcept C75291252 @default.
- W2014245268 hasConcept C76155785 @default.
- W2014245268 hasConceptScore W2014245268C109359841 @default.
- W2014245268 hasConceptScore W2014245268C126042441 @default.
- W2014245268 hasConceptScore W2014245268C127313418 @default.
- W2014245268 hasConceptScore W2014245268C138885662 @default.
- W2014245268 hasConceptScore W2014245268C199289684 @default.
- W2014245268 hasConceptScore W2014245268C41008148 @default.
- W2014245268 hasConceptScore W2014245268C41895202 @default.
- W2014245268 hasConceptScore W2014245268C75291252 @default.
- W2014245268 hasConceptScore W2014245268C76155785 @default.
- W2014245268 hasLocation W20142452681 @default.
- W2014245268 hasOpenAccess W2014245268 @default.
- W2014245268 hasPrimaryLocation W20142452681 @default.
- W2014245268 hasRelatedWork W1483845062 @default.
- W2014245268 hasRelatedWork W1575330229 @default.
- W2014245268 hasRelatedWork W1584304702 @default.
- W2014245268 hasRelatedWork W2369067071 @default.
- W2014245268 hasRelatedWork W2373012867 @default.
- W2014245268 hasRelatedWork W2383986235 @default.
- W2014245268 hasRelatedWork W2390095984 @default.
- W2014245268 hasRelatedWork W2751736749 @default.
- W2014245268 hasRelatedWork W3007092120 @default.
- W2014245268 hasRelatedWork W2464849962 @default.
- W2014245268 isParatext "false" @default.
- W2014245268 isRetracted "false" @default.
- W2014245268 magId "2014245268" @default.
- W2014245268 workType "article" @default.