Matches in SemOpenAlex for { <https://semopenalex.org/work/W2736043078> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2736043078 abstract "A verification case study of a complex real-time from the automotive area, an emergency brake assistant, is conducted. In particular the application and usefulness of formal methods in the refinement process during the design of a is investigated, where we mean by large system a which cannot be formally verified as a whole due to its complexity. We establish that the application of formal methods in the early phase of a design is beneficial despite the limits of current tools. Useful directions of further work to improve the verified design of safety-critical systems are also shown." @default.
- W2736043078 created "2017-07-21" @default.
- W2736043078 creator A5041198780 @default.
- W2736043078 creator A5043009816 @default.
- W2736043078 creator A5077221909 @default.
- W2736043078 date "2006-01-01" @default.
- W2736043078 modified "2023-09-24" @default.
- W2736043078 title "Verification in the Design Process of Large Real-Time Systems: A Case Study" @default.
- W2736043078 cites W1500239546 @default.
- W2736043078 cites W1521052220 @default.
- W2736043078 cites W1538672397 @default.
- W2736043078 cites W1567996276 @default.
- W2736043078 cites W1796678419 @default.
- W2736043078 cites W1865292956 @default.
- W2736043078 cites W1874725288 @default.
- W2736043078 cites W1981808971 @default.
- W2736043078 cites W1995825564 @default.
- W2736043078 cites W2000947342 @default.
- W2736043078 cites W2098817244 @default.
- W2736043078 cites W2101508170 @default.
- W2736043078 cites W2103543337 @default.
- W2736043078 cites W2115002392 @default.
- W2736043078 cites W2117087357 @default.
- W2736043078 cites W2125579889 @default.
- W2736043078 cites W2163014247 @default.
- W2736043078 cites W2171206721 @default.
- W2736043078 cites W3200688358 @default.
- W2736043078 hasPublicationYear "2006" @default.
- W2736043078 type Work @default.
- W2736043078 sameAs 2736043078 @default.
- W2736043078 citedByCount "0" @default.
- W2736043078 crossrefType "journal-article" @default.
- W2736043078 hasAuthorship W2736043078A5041198780 @default.
- W2736043078 hasAuthorship W2736043078A5043009816 @default.
- W2736043078 hasAuthorship W2736043078A5077221909 @default.
- W2736043078 hasConcept C111498074 @default.
- W2736043078 hasConcept C115903868 @default.
- W2736043078 hasConcept C127413603 @default.
- W2736043078 hasConcept C146978453 @default.
- W2736043078 hasConcept C171146098 @default.
- W2736043078 hasConcept C199360897 @default.
- W2736043078 hasConcept C200601418 @default.
- W2736043078 hasConcept C201995342 @default.
- W2736043078 hasConcept C2780999251 @default.
- W2736043078 hasConcept C31352089 @default.
- W2736043078 hasConcept C41008148 @default.
- W2736043078 hasConcept C526921623 @default.
- W2736043078 hasConcept C75606506 @default.
- W2736043078 hasConcept C98045186 @default.
- W2736043078 hasConceptScore W2736043078C111498074 @default.
- W2736043078 hasConceptScore W2736043078C115903868 @default.
- W2736043078 hasConceptScore W2736043078C127413603 @default.
- W2736043078 hasConceptScore W2736043078C146978453 @default.
- W2736043078 hasConceptScore W2736043078C171146098 @default.
- W2736043078 hasConceptScore W2736043078C199360897 @default.
- W2736043078 hasConceptScore W2736043078C200601418 @default.
- W2736043078 hasConceptScore W2736043078C201995342 @default.
- W2736043078 hasConceptScore W2736043078C2780999251 @default.
- W2736043078 hasConceptScore W2736043078C31352089 @default.
- W2736043078 hasConceptScore W2736043078C41008148 @default.
- W2736043078 hasConceptScore W2736043078C526921623 @default.
- W2736043078 hasConceptScore W2736043078C75606506 @default.
- W2736043078 hasConceptScore W2736043078C98045186 @default.
- W2736043078 hasLocation W27360430781 @default.
- W2736043078 hasOpenAccess W2736043078 @default.
- W2736043078 hasPrimaryLocation W27360430781 @default.
- W2736043078 hasRelatedWork W2006713204 @default.
- W2736043078 hasRelatedWork W2013209699 @default.
- W2736043078 hasRelatedWork W2027942782 @default.
- W2736043078 hasRelatedWork W2111634973 @default.
- W2736043078 hasRelatedWork W2484021398 @default.
- W2736043078 hasRelatedWork W2489605515 @default.
- W2736043078 hasRelatedWork W2500407490 @default.
- W2736043078 hasRelatedWork W2588544747 @default.
- W2736043078 hasRelatedWork W2602505633 @default.
- W2736043078 hasRelatedWork W2626651557 @default.
- W2736043078 hasRelatedWork W2735894973 @default.
- W2736043078 hasRelatedWork W2984233444 @default.
- W2736043078 hasRelatedWork W3023217887 @default.
- W2736043078 hasRelatedWork W3097747093 @default.
- W2736043078 hasRelatedWork W3173447378 @default.
- W2736043078 hasRelatedWork W3186409364 @default.
- W2736043078 hasRelatedWork W331515749 @default.
- W2736043078 hasRelatedWork W51908698 @default.
- W2736043078 hasRelatedWork W831348075 @default.
- W2736043078 hasRelatedWork W1486511921 @default.
- W2736043078 isParatext "false" @default.
- W2736043078 isRetracted "false" @default.
- W2736043078 magId "2736043078" @default.
- W2736043078 workType "article" @default.