Search Result Save to File Save as CSV
Your search for 38589 returns 2371 document(s)
Co-simulation of Hybrid systems: signal-simulink, (LNCS-Lecture Notes in Computer Science 1926) Hal 134-151
Author: Stephane Tudoret; Simin Nadjm-Tehrani; Albert Benveniste; Jan-Eric Stromberg; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A system for object code validation, (LNCS-Lecture Notes in Computer Science 1926) Hal 152-169
Author: A. K. Bhattacharjee; Gopa Sen; S. D. Dhodapkar; K. Karunakar; Basant Rajan; R. K. Shyamasundar; | 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 
Generalizing action systems to hybrid systems, (LNCS-Lecture Notes in Computer Science 1926) Hal 202-213
Author: Ralph-Johan Back; Luigia Petre; Ivan Porres; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Compositional verification of synchronous networks, (LNCS-Lecture Notes in Computer Science 1926) Hal 214-227
Author: Leszek Holenderski; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Modelling coordinated atomic actions in timed CSP, (LNCS-Lecture Notes in Computer Science 1926) Hal 228-239
Author: Simeon Veloudis; Nimal Nissanke; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A logical characterisation of event recording automata, (LNCS-Lecture Notes in Computer Science 1926) Hal 240-251
Author: Deepak D'Souza; | 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 
Verifying universal properties of parameterized networks, (LNCS-Lecture Notes in Computer Science 1926) Hal 291-303
Author: Kai Baukus; Yassine Lakhnech; Karsten Stahl; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Teraflops computing: a challenge to parallel numerics? (LNCS-Lecture Notes in Computer Science 1926) Hal 1-12
Author: Friedel Hossfeld; | Call Number: 004.35 Par | 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