Jump to main content

yr 〜
yr

Search results 10

Formal techniques in real-time and fault-tolerant systems : 7th international symposium, FTRTFT 2002, Oldenburg, Germany, September 9-12, 2002 : proceedings. : Sep 2002, Oldenburg, Germany. (Lecture Notes in Computer Science ; 2469)

Formal techniques in real-time and fault-tolerant systems : 7th international symposium, FTRTFT 2002, Oldenburg, Germany, September 9-12, 2002 : proceedings. : Sep 2002, Oldenburg, Germany. (Lecture Notes in Computer Science ; 2469)
Paper図書
Springer-Verlagc2002.<M17-03-137>
National Diet Library
  • Author HeadingDamm, Werner. Olderog, E.-R. FTRTFT 2002 (2002 : Oldenburg...

Real-time systems : formal specification and automatic verification

Real-time systems : formal specification and automatic verification
Paper図書
Ernst-Rüdiger Olderog and Henning DierksCambridge University Press2008
Other Libraries in Japan
  • Author HeadingOlderog, E.-R. Dierks, Henning

Verification of sequential and concurrent programs 3rd, extended ed

Verification of sequential and concurrent programs 3rd, extended ed
Paper図書
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger OlderogSpringerc2009
Other Libraries in Japan
  • Author HeadingApt, Krzysztof R. Boer, Frank S. de Olderog, E.-R.

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

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
Paper図書
Werner Damm, Ernst-Rüdiger Olderog (eds.)Springerc2002
Other Libraries in Japan
  • Author HeadingSymposium on Formal Techniques in Real-Time and Fault-Tolerant Systems Damm, Werner Olderog, E.-R.

Correct system design : recent insights and advances

Correct system design : recent insights and advances
Paper図書
Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)Springerc1999
Other Libraries in Japan
  • Author HeadingOlderog, E.-R. Steffen, Bernhard

Verification of sequential and concurrent programs 2nd ed

Verification of sequential and concurrent programs 2nd ed
Paper図書
Krzysztof R. Apt, Ernst-Rüdiger OlderogSpringerc1997
Other Libraries in Japan
  • Author HeadingApt, Krzysztof R. Olderog, E.-R.

Programmverifikation : Sequentielle, parallele und verteilte Programme

Programmverifikation : Sequentielle, parallele und verteilte Programme
Paper図書
Krzysztof R. Apt, Ernst-Rüdiger OlderogSpringerc1994
Other Libraries in Japan
  • Author HeadingApt, Krzysztof R. Olderog, E.-R.

Nets, terms and formulas : three views of concurrent processes and their relationship

Nets, terms and formulas : three views of concurrent processes and their relationship
Paper図書
E.-R. OlderogCambridge University Press1991
Other Libraries in Japan
  • Author HeadingOlderog, E.-R.

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

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
Paper図書
edited by Ernst-Rüdiger OlderogElsevier1994
Other Libraries in Japan
  • Author Heading...s, and Calculi Olderog, E.-R. International Federation for ...

Verification of sequential and concurrent programs : New York : Berlin

Verification of sequential and concurrent programs : New York : Berlin
Paper図書
Krzysztof R. Apt, Ernst-Rüdiger OlderogSpringer-Verlagc1991
Other Libraries in Japan
  • Author HeadingApt, Krzysztof R. Olderog, E.-R.

Reached to the end of result.

RSS