| Your search for 38603 returns 3937 document(s) |
| Hybrid systems and quatum automata : preliminary announcement, (LNCS-Lecture Notes in Computer Science 999)Hal. 181-201 |
|
Author: R.L. Grossunan and M. Sweendler; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modeling and stability issues in hybrid systems, (LNCS-Lecture Notes in Computer Science 999) Hal. 148-165 |
|
Author: Muzat Doguel; Umit Ozguner; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Viable control of hybrid systems, (LNCS-Lecture Notes in Computer Science 999)Hal. 128-147 |
|
Author: Akash Deshpande and Pravin Varaiya; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On dynamically consistent hybrid systems, (LNCS-Lecture Notes in Computer Science 999)Hal. 86-127 |
|
Author: Peter E. Caines; Yuan-Jun Wei; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Invariant-based synthesis of fault-tolerant systems, (LNCS-Lecture Notes in Computer Science 1926) Hal 46-57 |
|
Author: K. Lano; David Clark; K. Androutsopoulos; P. Kan; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modeling faults of distributed, reactive systems, (LNCS-Lecture Notes in Computer Science 1926) Hal 58-69 |
|
Author: Max Breitling; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Threshold and bounded-delay voting in critical control systems, ((LNCS-Lecture Notes in Computer Science 1926) Hal 70-81 |
|
Author: Paul Caspi; Rym Salem; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Reliability modelling of time-critical distributed systems, (LNCS-Lecture Notes in Computer Science 1926) Hal 94-105 |
|
Author: Hans Hansson; Christer Norstrom; Sasikumar Punnekkat; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| A Calculus of strochastic systems for the specification, simulation, and hidden state estimation of hybrid stochastic/non-stochastic systems, (LNCS-Lecture Notes in Computer Science 999)Hal. 21-63 |
|
Author: Albert Benveniste; Bernard C. Levy; Eric Fabre; Paul Le Guernic; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result