Blank Cover Image
このページのQRコード

Real-time safety critical systems

種類:
図書
出版情報:
Amsterdam ; New York : Elsevier
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Advances in Real-Time Systems

Chakraborty, Samarjit., Eberspächer, Jörg., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 図書 Neural and concurrent real-time systems : the sixth generation

Souček, Branko

Wiley
2 電子ジャーナル Real-Time Systems
8 図書 Specification and compositional verification of real-time systems

Hooman, Jozef, 1955-

Springer
3 電子ジャーナル Real-Time Systems
9 電子ブック The engineering of complex real-time computer control systems

Irwin, G. W. 1950-

Kluwer Academic Publishers
4 図書 Real-time and multi-agent systems

Attoui, Ammar

Springer-Verlag
10 電子ブック Distributed, Embedded and Real-time Java Systems

Higuera-Toledano, M. Teresa., Wellings, Andy J., SpringerLink (Online service)

Springer New York : Imprint: Springer
5 図書 Real-time systems : scheduling, analysis, and verification

Cheng, Albet M. K.

Wiley-Interscience
11 電子ブック Specification and Compositional Verification of Real-Time Systems

Hooman, Jozef, SpringerLink (Online service)

Springer-Verlag
6 図書 Compositional verification of concurrent and real-time systems

Juan, Eric Y.T., Tsai, Jeffrey J.-P

Kluwer Academic Publishers
12 電子ブック Specification and Compositional Verification of Real-Time Systems

Hooman, Jozef., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer