| Your search for 38926 returns 5216 document(s) |
| 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
|
| Role of VDM(++) in the Development of a real-time tracking and tracing system, (LNCS-Lecture Notes in Computer Science 670) Hal 64-72 |
|
Author: ir. E. H. Durr; drs. E.M. Dusink; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Comparing timed C/E systems with timed automata ( abstract ), (LNCS-Lecture Notes in Computer Science 1201) Hal 81-86 |
|
Author: R. Huuck; Y. Lakhnech; L. Urbina; S. Engell; S. Kowalewski; J. Preubig; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time systems: management and design |
|
Author: Tebbs, David; | Call Number: 004.33 Teb r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-Time Systems : The International Journal |
|
Call Number: [11 (1996): 1-3
, 10 (1996): 1-3
, 12 (1997): 1-3
, 13 (1997): 1-3
] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-Time Systems and their programming languages |
|
Author: Burns,Alan; | Call Number: 004.33 Bur r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Designing large real-time systems with ada |
|
Author: Nielsen, Kjell; | Call Number: 004.33 Nie d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Structured development for real-time systems |
|
Author: Mellor, Stephen J.; | Call Number: 004.33 War s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Efficient checking of behavioural relations and modal assertions using fixed-point inversion, (LNCS-Lecture Notes in Computer Science 939) Hal 142-154 |
|
Author: Henrik Reif Andersen; Bart Vergauwen; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| HYTECH: a model checker for hybrid systems, (LNCS-Lecture Notes in Computer Science 1254) Hal 460-463 |
|
Author: Thomas A. Henzinger; Pei-Hsin Ho; Howard Wong-Toi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result