search result

Cover von Architecture-Driven Semantic Analysis of Embedded Systems
special issue : pp. 1-92
Search for this author
Year: 2015
Publisher: Amsterdam, Elsevier
Media group: SPECIAL ISSUE
Cover von Foundations of Computer Software
Future Trends and Techniques for Development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24 - 26, 2008, Revised Selected Papers
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6028
Media group: MONOGRAPHIE
Cover von Runtime verification
7th international workshop : Vancover, Canada, March 13, 2007 : revised selected papers
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4839
Media group: MONOGRAPHIE
Cover von Architecture-Driven Semantic Analysis of Embedded Systems; 7
pp. 30-55
Search for this author
Year: 2012
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 7
Media group: DAGSTUHL REPORT
Cover von Composition of embedded systems
scientific and industrial issues : 13th Monterey workshop 2006 : Paris, France, October 16 - 18, 2006 : revised selected papers
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4888
Media group: MONOGRAPHIE
Cover von Emerging directions in embedded and ubiquitous computing
EUC 2006 workshops : Seoul, Korea, August 1 - 4, 2006 : proceedings
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4097
Media group: MONOGRAPHIE
Cover von Automated Technology for Verification and Analysis
18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19 - 23, 2020, Proceedings
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12302
Media group: MONOGRAPHIE
Cover von Dependable Software Engineering
Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23 - 25, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10606
Media group: MONOGRAPHIE
Cover von A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal

A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal

Author: Feng, Lu; King, Andrew L.; Chen, Sanjian
Year: 2014
Media group: OASICS
Cover von Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems
Search for this author
Year: 2010
Publisher: Wadern, LZI
Media group: DAGSTUHL-SEMINAR-PRO
OPEN V 11.1.0.0