| Your search for 13420 returns 4348 document(s) |
| An integration of model checking with automated proof checking, (LNCS-Lecture Notes in Computer Science 939) Hal 84-97 |
|
Author: S. Rajan; N. Shankar; M. K. Srivas; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proof rules dealine with fairness, (LNCS-Lecture Notes in Computer Science 131) Hal. 1-8 |
|
Author: Krsystof R. Apt; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proof, language and interaction: essays in honour of Robin Milner/edited by Gordon Plotkin, Colin Stirling |
|
Call Number: 004 Pro | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Specification and verification of a real-tiem steam boiler system, Hal. 205-229 |
|
Author: Jan Vitt; Josef Hooman; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| LinguSQL: a verification and transformation tool for database applications, Hal. F.45-F>49 |
|
Author: Rikky Wenang Prubojati; I.S.W.Praetya, Heru Suhartanto, Sirajuddin Maizir; | Call Number: SEM-235 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hierarchical gate-level verification of speed-independent circuits, Hal. 128-137 |
|
Author: Oriol Roig; Jordi Cortadella and Enric Pastor; | Call Number: SEm-234 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The foundations of program verification 2nd ed/ Jacques Loeckx and Kurt Sieber |
|
Author: Loeckx, Jacques; | Call Number: 005.14 Loe f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Soundness Verification of Business Processes Specifed in the Pi-Calculus (6-23) |
|
Author: Frank Puhlmann; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal Verification of a Group Membershiap Protocol Using Model (471-488) |
|
Author: Valerio Rosset
Pedro F. Souto
Francisco Vasques; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Implementing a Device DTM and Integrating into FDUIA for Verification (V1-479 -- V1-483) |
|
Author: Zhang Yu
Pan Dongbo
Liu Feng; | Call Number: SEM-334 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result