TDG Scholar TDGScholar Committed to research! Version 1.7


| Report | Share
A total of 101 records were found in 0.422 seconds
Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
ISBN: 978-3-540-73367-64590, 2007
Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report
ISBN: 3-540-23135-83147, 2004
Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings
ISBN: 3-540-44165-42469, 2002
LSCs: Breathing Life into Message Sequence Charts
FMOODS, 1999
Verifying electronic control unit: today and tomorrow
PROCOMET, 7-8, 1998
Verifying out-of-order executions
CHARME, 23-47, 1997
Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams
PROCOMET, 341-359, 1994
A schematalogical approach to the alalysis of the procedure concept in algol-languages
CLAAP, 130-134, 1980