Your search for 38938 returns 3685 document(s) |
CAVEAT: technique and tool for computer aided verification and transformation, (LNCS-Lecture Notes in Computer Science 939) Hal 70-83 |
Author: E. Pascal Gribomont; Didier Rossetto; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Automated process control systems: concepts and hardware |
Author: Hunter, Ronald P.; | Call Number: 629.8 Hun a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Multipliers and deviders: insights on arithmetic circuit verification (extended abstract), (LNCS-Lecture Notes in Computer Science 939) Hal 1-3 |
Author: Randal E. Bryant; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Global rebuilding of OBDDs avoiding memory requirement maxima, (LNCS-Lecture Notes in Computer Science 939) Hal 4-15 |
Author: Jochen Bern; Christoph Meinel; Anna Slobodova; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Hardware verification using monadic second-order logic, (LNCS-Lecture Notes in Computer Science 939) Hal 31-41 |
Author: David A. Basin; Nils Klarlund; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Verifying safety properties of a class of infinite-state distributed algorithms, (LNCS-Lecture Notes in Computer Science 939) Hal 42-53 |
Author: Bengt Jonsson; Lars Kempe; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Automatic datapath abstraction in hardware systems, (LNCS-Lecture Notes in Computer Science 939) Hal 98-113 |
Author: Ramin Rojati; Robert K. Brayton; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Safety property verification of esterel programs and applications to telecommunications software, (LNCS-Lecture Notes in Computer Science 939) Hal 127-140 |
Author: Lalita Jategaonkar Jagadeesan; Carlos Puchol; James E. Von Olnhausen; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Methods for mu-calculus model checking: a tutorial, (LNCS-Lecture Notes in Computer Science 939) Hal 141 |
Author: E. A. Emerson; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
It usually works: the temporal logic of stochastic systems, (LNCS-Lecture Notes in Computer Science 939) Hal 155-165 |
Author: Adnan Aziz; Vigyan Singhal; Felice Balarin; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|