Your search for 38817 returns 2518 document(s) |
A VDM study of fault-tolerant stable storage towards a computer engineering mathematics,(LNCS-Lecture Notes in Computer Science 670) Hal 216-234 |
Author: Andrew Butterfield; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Using design-level scan to improve FPGA design observability and controllability for functional verification, (LNCS-Lecture Notes in Computer Science 2147) Hal 483-492 |
Author: Timothy Wheeler; Paul Graham; Brent Nelson; Brad Hutchings; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Scaling up uppaal automatic verification of real-time systems using compositionality and abstraction, (LNCS-Lecture Notes in Computer Science 1926) Hal 19-30 |
Author: Henrik Ejersbo Jensen; Kim Guldstrand Larsen; Arne Skou; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal verification of digital systems, from ASICs to HW/SW codesign - a pragmatic approach, (LNCS-Lecture Notes in Computer Science 3709) Hal 3-6 |
Author: Roger B. Hughes; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Using formal verification/analysis methods on the critical path in system design: a case study, (LNCS-Lecture Notes in Computer Science 939) Hal 367-380 |
Author: Asgeir Th. Eiriksson; Ken L. McMillan; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Cryptanalysis of secure key exchange protocol between STB and smart card in IPTV broadcasting, (LNCS-Lecture Notes in Computer Science 5576) Hal 797-803 |
Author: Song-Hee Lee; Nam-Sup Park; Soo Kyun Kim; Jin-Young Choi; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Making the key agreement protocol in mobile ad hoc network more efficient, (LNCS-Lecture Notes in Computer Science 2576) Hal 343-356 |
Author: Gang Yao; Kui Ren; Feng Bao; Robert H.Deng; Dengguo Feng; | Call Number: 005.8 Zho a | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Communication protocol specification and verification/Richard Lai |
Author: Lai, Richard; | Call Number: 004.36 Lai c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Parallelizing the mur verifier, (LNCS-Lecture Notes in Computer Science 1254) Hal 256-267 |
Author: Ulrich Stern; David L. Dill; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
UPPAAL: status & developments, (LNCS-Lecture Notes in Computer Science 1254) Hal 456-459 |
Author: Kim G Larsen; Paul Pettersson; Wang Yi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|