Jump to main content

yr 〜
yr

Search results 5

Formal techniques in real-time and fault-tolerant systems

Formal techniques in real-time and fault-tolerant systems
Paper図書
edited by Jan VytopilKluwer Academic Publishersc1993
Other Libraries in Japan
  • Author HeadingVytopil, J.

Formal techniques in real-time and fault-tolerant systems : Third International Symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings

Formal techniques in real-time and fault-tolerant systems : Third International Symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings
Paper図書
H. Langmaack, W.-P. de Roever, J. Vytopil, (eds.)Springer-Verlagc1994
Other Libraries in Japan
  • Author Heading...ever, W.-P. de Vytopil, J. Working Group Provably Correc...

Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings : gw : us

Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings : gw : us
Paper図書
J. Vytopil (ed.)Springer-Verlagc1991
Other Libraries in Japan
  • Author HeadingSymposium on Formal Techniques in Real-Time and Fault-Tolerant Systems Vytopil, J.

Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings / H. Langmaack, W.-P. de Roever, J. Vytopil, eds. (Lecture notes in computer science)

Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings / H. Langmaack, W.-P. de Roever, J. Vytopil, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M15-A9466>
National Diet Library
  • Author Heading...ver, W.-P. de. Vytopil, J. (Jan) , 1947- Working Group P...

Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings / J. Vytopil, ed. (Lecture notes in computer science)

Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings / J. Vytopil, ed. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1991.<M15-A8056>
National Diet Library
  • Author HeadingVytopil, J. (Jan) , 1947- Symposium on Fo...

Reached to the end of result.

RSS