search result

Cover von Dagstuhl Manifesto : Formal Methods - just a Euroscience?; 4
pp. 413-414
Search for this author
Year: 2011
Publisher: Berlin, Springer
Informatik Spektrum
Count: 4
Media group: ARTICLE
Cover von A Definition and Classification of Timing Anomalies

A Definition and Classification of Timing Anomalies

Year: 2006
Media group: ARTICLE
Cover von Bringing Theory to Practice
Predictability and Performance in Embedded Systems : March 18, 2011, Grenoble, France
Search for this author
Year: 2011
Publisher: Wadern, LZI
Series: OpenAccess Series in Informatics; 18
Media group: OASICS
Cover von Dagstuhl perspectives; 1
special issue : S. 1-43
Search for this author
Year: 2009
Publisher: Berlin, Springer
Computer science
Count: 1
Media group: SPECIAL ISSUE
Cover von Abstracts Collection -- Workshop Trustworthy Software 2006

Abstracts Collection -- Workshop Trustworthy Software 2006

Year: 2006
Media group: ARTICLE
Cover von Workshop on trustworthy software 2006
May 18 - 19, 2006, Saarland University, Saarbrücken, Germany
Search for this author
Year: 2006
Publisher: Wadern-Dagstuhl, IBFI
Series: OpenAccess Series in Informatics; 3
Media group: OASICS
OPEN V 11.1.0.0