| Your search for 38751 returns 4618 document(s) |
| Analysis of slope-parametric hybrid automata, (LNCS-Lecture Notes in Computer Science 1201) Hal 75-80 |
|
Author: Frederic Boniol; Augusto Burgueno; Olivier Roux; Vlad Rusu; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| multiobjective hybrid controller synthesis, (LNCS-Lecture Notes in Computer Science 1201) Hal 109-123 |
|
Author: John Lygeros; Claire Tomlin; Shankar Sastry; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using hytech to verify an automotive control system, (LNCS-Lecture Notes in Computer Science 1201) Hal 139-153 |
|
Author: Thomas Stauner; Olaf Muller; Max Fuchs; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hybrid flow nets for hybrid processes modelling and control, (LNCS-Lecture Notes in Computer Science 1201) Hal 213-227 |
|
Author: Jean-Marie Flaus; Guy Ollagnon; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Tutorial: minicomputer real time executives |
|
Author: Scheeffler, James D.; | Call Number: 004.33 Sch t | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction To Real Time Software Design |
|
Author: Allworth, S.T.; | Call Number: 004.33 All i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Micro C/OS-11: the real-time kernel |
|
Author: Labrosse, Jean J.; | Call Number: 004.33 Lab m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An implementation guide to real-time programming |
|
Author: Ripps, David L.; | Call Number: 004.33 Rip i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time object-oriented modelling |
|
Author: Selic, Bran; | Call Number: 005.117 Sel r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving, (LNCS-Lecture Notes in Computer Science 939) Hal 54-69 |
|
Author: Jurgen Dingel; Thomas Filkorn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result