>> Amazon.co.jp
このページのQRコード

Compositional verification of concurrent and real-time systems

種類:
図書
責任表示:
by Eric Y.T. Juan, Jeffrey J.P. Tsai
出版情報:
Boston : Kluwer Academic Publishers, c2002
著者名:
シリーズ名:
The Kluwer international series in engineering and computer science ; SECS 676 <BA0004729X>
ISBN:
9781402070259 [140207025X]  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Specification and compositional verification of real-time systems

Hooman, Jozef, 1955-

Springer
7 図書 Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem

Godefroid, Patrice

Springer
2 図書 Neural and concurrent real-time systems : the sixth generation

Souček, Branko

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

Hooman, Jozef, SpringerLink (Online service)

Springer-Verlag
3 図書 Synthesizing synchronous systems by static scheduling in space-time

Lisper, Björn

Springer-Verlag
9 電子ブック Specification and Compositional Verification of Real-Time Systems

Hooman, Jozef., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
4 図書 Verification of digital and hybrid systems

Inan, Kemal, 1942-, Kurshan, R. P., 1943-

Springer
10 図書 Real-time dynamics of manipulation robots

Vukobratović, Miomir, 1931-, Kirćanski, N. (Nenad), 1953-

Springer-Verlag
5 図書 Real-time rendering

Möller, Tomas, 1971-, Haines, Eric, 1958-

A K Peters
11 図書 Performance analysis of real-time embedded software

Li, Yau-Tsun Steven, 1970-, Malik, Sharad

Kluwer Academic
6 図書 Real-time and multi-agent systems

Attoui, Ammar

Springer-Verlag
12 図書 Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988

Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz, School/Workshop on Linear Time, &hellip;

Springer-Verlag