| Your search for 38751 returns 4594 document(s) |
| Formal verification for fault-tolerant architectures: some lessons learned, (LNCS-Lecture Notes in Computer Science 670) Hal 482-500 |
|
Author: Sam Owre; John Rushby; Natarajan Shankar; Friedrich von Henke; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verification tools in the development of provably correct compilers, (LNCS-Lecture Notes in Computer Science 670) Hal 442-461 |
|
Author: M. R. K. Krishna Rao; P. K. Pandya; R. K. Shyamasundar; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Parametrized verification of linear networks using automata as invariants, (LNCS-Lecture Notes in Computer Science 1254)Hal. 412-423 |
|
Author: A. Prasad Sistia; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On combining formal and informal verification, (LNCS-Lecture Notes in Computer Science 1254)Hal. 376-387 |
|
Author: Jun Yuan; Jian Shen; Jacob Abraham; Adnan Azis; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formalization and verification of interaction protocols, ((LNCS-Lecture Notes in Computer Science 3668) Hal 437-438 |
|
Author: Federico Chesani; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verification of coccurent program temporal proof principles, (LNCS-Lecture Notes in Computer Science 131) Hal. 200- 252 |
|
Author: Zohar Manna; Amir Pneuli; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Global virtual time approximation for split queue time warp, (LNCS-Lecture Notes in Computer Science 1557) Hal 541-548 |
|
Author: Helge Hagenauer; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming real-time multicomputers for signal processing/Urban A. Thoeni |
|
Author: Thoeni, Urban A.; | Call Number: 621.382 Tho p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time medical image processing/ edited by Morio Onoe |
|
Author: Onoe, Mario; | Call Number: 610.28 Ono r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming real-time multicomputers for signal processing/ Urban A. Thoeni |
|
Author: Thoeni, Urban A.; | Call Number: 621.382 Tho p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result