>> Google Books
所蔵情報QRコード

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / Joost-Pieter Katoen (ed.)

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer, c1999
形態:
x, 353 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 1601 <BA00009279>
著者名:
ISBN:
9783540660101 [3540660100]
書誌ID:
BA41733913
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, Bertran, Miquel, Rus, Teodor

Springer

Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Damm, Werner, 1950-, Olderog, E.-R.

Springer

International Symposium on Object-Oriented Real-Time Distributed Computing, Puschner, Peter, Nakajima, Tatsuo, Ghafoor, …

IEEE Computer Society

Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Langmaack, Hans, Roever, W.-P. de, 1943-, …

Springer-Verlag

International Workshop on Object-Oriented Real-Time Dependable Systems, IEEE Computer Society. TC on Distributed …

IEEE Computer Society Press

IFIP WG 5.4/IFAC/EWICS Working Conference on Hardware and Software for Real Time Process Control, Zalewski, Janusz, …

North-Holland, sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.

IEEE International Symposium on Distributed Simulation and Real-Time Applications, Turner, Stephen J., Roberts, David …

IEEE Computer Society

Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Ravn, Anders P., Rischel, Hans

Springer

PAPM-PROBMIV, Process Algebras and Performance Modeling Workshop, Probabilistic Methods in Verification, De Alfaro, …

Springer

International Workshop on Software Engineering for Parallel and Distributed Systems, ACM Sigsoft, IEEE Computer Society, …

IEEE Computer Society

Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Joseph, Mathai, 1943-

Springer

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12