Formal techniques in real-time and fault-tolerant systems third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lubeck, Germany, September 19-23, 1994 : proceedings
| 企业作者: | |
|---|---|
| 格式: | 图书 |
| 语言: | 英语 |
| 出版: |
Berlin
Springer-Verlag
c1994.
|
| 丛编: | Lecture notes in computer science ; 863
|
| 主题: |