Your search for 38691 returns 5582 document(s) |
A methodology for the construction of scheduled systems, (LNCS-Lecture Notes in Computer Science 1926) Hal 106-120 |
Author: K. Altisen; G. Gorler; J. Sifakis; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
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
|
Verifying liveness properties of reactive systems ( A tutorial ), (LNCS-Lecture Notes in Computer Science 1201) Hal 1 |
Author: Amir Pnueli; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Verifying periodic task-control systems, (LNCS-Lecture Notes in Computer Science 1201) Hal 63-68 |
Author: Vlad Rusu; | Call Number: 004.33 Mal h | 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
|
Design tools for hybrid control systems, (LNCS-Lecture Notes in Computer Science 1201) Hal 87-92 |
Author: M. S. Hajji; J. M. Bass; A. R. Browne; P. J. Fleming; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Hybrid control issues in air traffic management systems ( Invited presentation ), (LNCS-Lecture Notes in Computer Science 1201) Hal 108 |
Author: Shankar Sastry; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Verifying hybrid systems modeled as timed automata: a case study, (LNCS-Lecture Notes in Computer Science 1201) Hal 171-185 |
Author: Myla Archer; Constance heitmeyer; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Representation of robust and non-robust solutions of nonlinear discrete-continuous systems, (LNCS-Lecture Notes in Computer Science 1201) Hal 228-239 |
Author: Boris M. Miller; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Controller design of hybrid systems, (LNCS-Lecture Notes in Computer Science 1201) Hal 240-254 |
Author: Stefan Pettersson; Bengt Lennartson; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|