Matches in SemOpenAlex for { <https://semopenalex.org/work/W2153284512> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2153284512 abstract "The development of in-vehicle software, often controlling safety-critical functions related to braking, steering and transmission systems, requires rigorous techniques to ensure high-integrity and reliability requirements. Formal models of requirements and design artifacts based on state-transition systems and other formalisms serve as a means to apply rigorous analysis and verification techniques at every stage in the development process. We present here one such formal analysis and verification flow, developed at General Motors R&D, provide an overview of methods for automatic test generation based on mathematical modeling and discuss the future directions for research." @default.
- W2153284512 created "2016-06-24" @default.
- W2153284512 creator A5045489615 @default.
- W2153284512 creator A5081333705 @default.
- W2153284512 date "2011-06-05" @default.
- W2153284512 modified "2023-09-24" @default.
- W2153284512 title "Rigorous model-based design & verification flow for in-vehicle software" @default.
- W2153284512 cites W1509343160 @default.
- W2153284512 cites W1598652638 @default.
- W2153284512 cites W1975051432 @default.
- W2153284512 cites W2055647675 @default.
- W2153284512 cites W2071225480 @default.
- W2153284512 cites W2082204982 @default.
- W2153284512 cites W2107426858 @default.
- W2153284512 cites W2125708466 @default.
- W2153284512 cites W2142715983 @default.
- W2153284512 cites W2163212148 @default.
- W2153284512 doi "https://doi.org/10.1145/2024724.2024728" @default.
- W2153284512 hasPublicationYear "2011" @default.
- W2153284512 type Work @default.
- W2153284512 sameAs 2153284512 @default.
- W2153284512 citedByCount "1" @default.
- W2153284512 countsByYear W21532845122015 @default.
- W2153284512 crossrefType "proceedings-article" @default.
- W2153284512 hasAuthorship W2153284512A5045489615 @default.
- W2153284512 hasAuthorship W2153284512A5081333705 @default.
- W2153284512 hasConcept C115903868 @default.
- W2153284512 hasConcept C127413603 @default.
- W2153284512 hasConcept C186846655 @default.
- W2153284512 hasConcept C199360897 @default.
- W2153284512 hasConcept C201995342 @default.
- W2153284512 hasConcept C21547014 @default.
- W2153284512 hasConcept C2777904410 @default.
- W2153284512 hasConcept C33054407 @default.
- W2153284512 hasConcept C41008148 @default.
- W2153284512 hasConcept C48002344 @default.
- W2153284512 hasConcept C529173508 @default.
- W2153284512 hasConceptScore W2153284512C115903868 @default.
- W2153284512 hasConceptScore W2153284512C127413603 @default.
- W2153284512 hasConceptScore W2153284512C186846655 @default.
- W2153284512 hasConceptScore W2153284512C199360897 @default.
- W2153284512 hasConceptScore W2153284512C201995342 @default.
- W2153284512 hasConceptScore W2153284512C21547014 @default.
- W2153284512 hasConceptScore W2153284512C2777904410 @default.
- W2153284512 hasConceptScore W2153284512C33054407 @default.
- W2153284512 hasConceptScore W2153284512C41008148 @default.
- W2153284512 hasConceptScore W2153284512C48002344 @default.
- W2153284512 hasConceptScore W2153284512C529173508 @default.
- W2153284512 hasLocation W21532845121 @default.
- W2153284512 hasOpenAccess W2153284512 @default.
- W2153284512 hasPrimaryLocation W21532845121 @default.
- W2153284512 hasRelatedWork W1965330114 @default.
- W2153284512 hasRelatedWork W1975164629 @default.
- W2153284512 hasRelatedWork W2391949149 @default.
- W2153284512 hasRelatedWork W2742029447 @default.
- W2153284512 hasRelatedWork W2792024826 @default.
- W2153284512 hasRelatedWork W2998486694 @default.
- W2153284512 hasRelatedWork W3026596032 @default.
- W2153284512 hasRelatedWork W3027371154 @default.
- W2153284512 hasRelatedWork W3155860078 @default.
- W2153284512 hasRelatedWork W72285135 @default.
- W2153284512 isParatext "false" @default.
- W2153284512 isRetracted "false" @default.
- W2153284512 magId "2153284512" @default.
- W2153284512 workType "article" @default.