Search Result Save to File Save as CSV
Your search for 39026 returns 2484 document(s)
Issues in the refinement of distributed programs (invited talk), (LNCS-Lecture Notes in Computer Science 2773) Hal 12-17
Author: Yoram Moses; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Real-time program refinement using auxiliary variables (LNCS-Lecture Notes in Computer Science 1926) Hal 170-184
Author: Ian Hayes; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Weak refinement for modal hybrid systems, (LNCS-Lecture Notes in Computer Science 1201) Hal 316-330
Author: Carsten Weise; Dirk Lenzkes; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A compositional rule for hardware design refinement, (LNCS-Lecture Notes in Computer Science 1254) Hal 24-35
Author: K. L. McMillan; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
An n log n algorithm for online BDD refinement, (LNCS-Lecture Notes in Computer Science 1254) Hal 107-118
Author: Nils Klarlund; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Using relative refinement for fault tolerance,(LNCS-Lecture Notes in Computer Science 939) Hal 19-41
Author: Antonio Cau; Willem-Paul de Roever; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
PuMA++: from behavioral specification to multi-FPGA-prototype, (LNCS-Lecture Notes in Computer Science 2147) Hal 133-141
Author: Klaus Harbich; Erich Barke; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Functional specification of real-time and hybrid systems, (LNCS-Lecture Notes in Computer Science 1201) Hal 273-285
Author: Olaf Muller; Peter Scholz; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Semantics and verification of extended phase transition systems in duration calculus, (LNCS-Lecture Notes in Computer Science 1201) Hal 301-315
Author: Xu Qiwen; | Call Number: 004.33 Mal h | Edition: (LNCS-Lecture Notes in Computer Science 985) | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Ucke - efficient u-calculus model checking, (LNCS-Lecture Notes in Computer Science 1254) Hal 468-471
Author: Armin Biere; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next