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

Formal hardware verification : methods and systems in comparison

種類:
図書
責任表示:
Thomas Kropf (ed.)
出版情報:
Berlin : Springer, c1997
著者名:
Kropf, Thomas, 1961- <DA08971069>  
シリーズ名:
Lecture notes in computer science ; 1287 <BA00009279>
ISBN:
9783540634751 [3540634754]  CiNii Books  Calil
注記:
Includes bibliographical references (p. [349]-367)
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ジャーナル Formal Methods in System Design
7 図書 Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem

Godefroid, Patrice

Springer
2 電子ジャーナル Formal Methods in System Design
8 電子ブック Partial-Order Methods for the Verification of Concurrent Systems : An Approach to the State-Explosion Problem

Godefroid, Patrice, SpringerLink (Online service)

Springer-Verlag
3 電子ブック Hybrid Systems III : Verification and Control

Alur, Rajeev, Henzinger, Thomas A., Sontag, Eduardo D., SpringerLink (Online service)

Springer-Verlag
9 電子ブック Partial-Order Methods for the Verification of Concurrent Systems : An Approach to the State-Explosion Problem

Godefroid, Patrice., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
4 電子ブック Hybrid Systems III : Verification and Control

Alur, Rajeev., Henzinger, Thomas A., Sontag, Eduardo D., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
10 電子ジャーナル Journal of Hardware and Systems Security
5 図書 Higher order logic and hardware verification

Melham, T. F. (Tom F.)

Cambridge University Press
11 図書 Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings

Advanced Research Working Conference on Correct Hardware Design Methodologies, Milne, George J., 1952-, Pierre, Laurence

Springer-Verlag
6 図書 Synchronous equivalence : formal methods for embedded systems

Hsieh, Harry, 1967-, Balarin, Felice, Sangiovanni-Vincentelli, Alberto

Kluwer Academic Publishers
12 図書 Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, …

Advanced Research Working Conference on Correct Hardware Design Methodologies, Margarita, Tiziana, Melham, T. F. (Tom &hellip;

Springer