Search Result Save to File Save as CSV
Your search for 36806 returns 1752 document(s)
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 
An on-the-fly tableau construction for a real-time temporal logic, (LNCS-Lecture Notes in Computer Science 1926) Hal 276-290
Author: Marc Geilen; Dennis Dams; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
State clock logic: a decidable real-time logic, (LNCS-Lecture Notes in Computer Science 1201) Hal 33-47
Author: Jean-Francois Raskin; Pierre-Yves Schobbens; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A digital real-time simulator for rail-vehicle control system testing, (LNCS-Lecture Notes in Computer Science 1201) Hal 199-212
Author: Peter Terwiesch; Erich Scheiben; Anders Jenry Petersen; Thomas Keller; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Verification of real time chemical processing systems (invited presentation), (LNCS-Lecture Notes in Computer Science 1201) Hal 259-272
Author: Adam L. Turk; Scott T. Probst; Gary J. Powers; | Call Number: 004.33 Mal h | 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 
The verus tool: a quantitative approach to the formal verification of real-time systems, (LNCS-Lecture Notes in Computer Science 1254) Hal 452-455
Author: Sergio Campos; Edmund Clarke; Marius Minea; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Verification of real-time systems by successive over and under approximation, (LNCS-Lecture Notes in Computer Science 939) Hal 409-422
Author: David L. Dill; Howard Wong-Toi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Verification of real-time systems by successive over and under approximation, (LNCS-Lecture Notes in Computer Science 939) Hal 409-422
Author: David L. Dill; Howard Wong-Toi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Applications of modal logic for the specification of real-time systems, (LNCS-Lecture Notes in Computer Science 670) Hal 235-249
Author: Liang Chen; Alistair Munro; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   12 13 14 15 16 17 18 19 20 21  Next