Matches in SemOpenAlex for { <https://semopenalex.org/work/W2169593191> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2169593191 abstract "In this paper, we address the conformance testing problem for timed constrained critical systems. We propose a new model adapted to describe such systems. The model is called Variable Driven Timed Automata (VDTA) and is a variant of timed automata in which events are variable assignments and all transitions are urgent. We present a sound and exhaustive on the fly testing algorithm for such systems. As an application of our approach, we propose a case study on a “Bi-manual command” system." @default.
- W2169593191 created "2016-06-24" @default.
- W2169593191 creator A5050633462 @default.
- W2169593191 creator A5079252969 @default.
- W2169593191 date "2010-05-01" @default.
- W2169593191 modified "2023-09-24" @default.
- W2169593191 title "Conformance testing of variable driven automata" @default.
- W2169593191 cites W1489329521 @default.
- W2169593191 cites W1505255894 @default.
- W2169593191 cites W1900558419 @default.
- W2169593191 cites W1991978415 @default.
- W2169593191 cites W2101508170 @default.
- W2169593191 cites W2102418068 @default.
- W2169593191 cites W2112640524 @default.
- W2169593191 cites W2113780769 @default.
- W2169593191 cites W2154373595 @default.
- W2169593191 cites W2163595873 @default.
- W2169593191 doi "https://doi.org/10.1109/wfcs.2010.5548628" @default.
- W2169593191 hasPublicationYear "2010" @default.
- W2169593191 type Work @default.
- W2169593191 sameAs 2169593191 @default.
- W2169593191 citedByCount "5" @default.
- W2169593191 countsByYear W21695931912017 @default.
- W2169593191 countsByYear W21695931912019 @default.
- W2169593191 crossrefType "proceedings-article" @default.
- W2169593191 hasAuthorship W2169593191A5050633462 @default.
- W2169593191 hasAuthorship W2169593191A5079252969 @default.
- W2169593191 hasConcept C110251889 @default.
- W2169593191 hasConcept C111919701 @default.
- W2169593191 hasConcept C112505250 @default.
- W2169593191 hasConcept C119857082 @default.
- W2169593191 hasConcept C128942645 @default.
- W2169593191 hasConcept C134306372 @default.
- W2169593191 hasConcept C152877465 @default.
- W2169593191 hasConcept C165825675 @default.
- W2169593191 hasConcept C182365436 @default.
- W2169593191 hasConcept C188087704 @default.
- W2169593191 hasConcept C30788636 @default.
- W2169593191 hasConcept C33923547 @default.
- W2169593191 hasConcept C41008148 @default.
- W2169593191 hasConcept C76844732 @default.
- W2169593191 hasConcept C80444323 @default.
- W2169593191 hasConceptScore W2169593191C110251889 @default.
- W2169593191 hasConceptScore W2169593191C111919701 @default.
- W2169593191 hasConceptScore W2169593191C112505250 @default.
- W2169593191 hasConceptScore W2169593191C119857082 @default.
- W2169593191 hasConceptScore W2169593191C128942645 @default.
- W2169593191 hasConceptScore W2169593191C134306372 @default.
- W2169593191 hasConceptScore W2169593191C152877465 @default.
- W2169593191 hasConceptScore W2169593191C165825675 @default.
- W2169593191 hasConceptScore W2169593191C182365436 @default.
- W2169593191 hasConceptScore W2169593191C188087704 @default.
- W2169593191 hasConceptScore W2169593191C30788636 @default.
- W2169593191 hasConceptScore W2169593191C33923547 @default.
- W2169593191 hasConceptScore W2169593191C41008148 @default.
- W2169593191 hasConceptScore W2169593191C76844732 @default.
- W2169593191 hasConceptScore W2169593191C80444323 @default.
- W2169593191 hasLocation W21695931911 @default.
- W2169593191 hasLocation W21695931912 @default.
- W2169593191 hasLocation W21695931913 @default.
- W2169593191 hasOpenAccess W2169593191 @default.
- W2169593191 hasPrimaryLocation W21695931911 @default.
- W2169593191 hasRelatedWork W1499514499 @default.
- W2169593191 hasRelatedWork W1991609533 @default.
- W2169593191 hasRelatedWork W2004126468 @default.
- W2169593191 hasRelatedWork W2021255060 @default.
- W2169593191 hasRelatedWork W2095602520 @default.
- W2169593191 hasRelatedWork W2123384876 @default.
- W2169593191 hasRelatedWork W2139796094 @default.
- W2169593191 hasRelatedWork W2139989305 @default.
- W2169593191 hasRelatedWork W2169593191 @default.
- W2169593191 hasRelatedWork W324582425 @default.
- W2169593191 isParatext "false" @default.
- W2169593191 isRetracted "false" @default.
- W2169593191 magId "2169593191" @default.
- W2169593191 workType "article" @default.