6 treff

Real-time systems : formal specification and automatic verification
Ernst-Rüdiger Olderog and Henning Dierks
Bok Engelsk 2008
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
FTRTFT 2002
Bok Engelsk 2002
Correct system design : recent insights and advances
Ernst-Rüdiger Olderog, Bernhard Steffen (...
Bok Engelsk 1999
Programming concepts, methods and calculi : proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods, and Calculi (PROCOMET '94), San Miniato, Italy, 6-10 June 1994
IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods, and Calculi
Bok Engelsk 1994
Verification of sequential and concurrent programs
Krzysztof R. Apt, Ernst-Rüdiger Olderog
Bok Engelsk 1991
Nets, terms and formulas : three views of concurrent processes and their relationship
Olderog, Ernst-Rüdiger
Bok Engelsk 1991