Languages
Olderog, Ernst-Rudiger.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Provably correct systems
by:
Bowen, Jonathan P.; Hinchey, Mike G.; Olderog, Ernst-Rudiger.; SpringerLink (Online service)
(Electronic resources)
Verification of sequential and concurrent programs
by:
Apt, Krzysztof R.; Boer, Frank S.; Olderog, Ernst-Rudiger.; SpringerLink (Online service)
(Electronic resources)
Model checking, synthesis, and learningessays dedicated to Bengt Jonsson on the occasion of his 60th birthday /
by:
Jonsson, Bengt.; Olderog, Ernst-Rudiger.; SpringerLink (Online service); Steffen, Bernhard.; Yi, Wang.
(Electronic resources)
Formal techniques in real-time and fault-tolerant systems7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedings /
by:
(1998 :); Damm, Werner.; Olderog, Ernst-Rudiger.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Computer software
Programming Techniques.
Control Structures and Microprogramming.
Formal methods (Computer science)
Special Purpose and Application-Based Systems.
Models and Principles.
Embedded computer systems.
Artificial Intelligence.
Computer Science.
Real-time data processing
Fault-tolerant computing