| Your search for 38923 returns 4187 document(s) |
| Local liveness for compositional modeling of fair reactive systems, (LNCS-Lecture Notes in Computer Science 939) Hal 166-179 |
|
Author: Rajeev Alur; Thomas A. Henzinger; | Call Number: 004 Int c | 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
|
| 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
|
| Local model checking for real-time systems (extended abstract), (LNCS-Lecture Notes in Computer Science 939) Hal 211-224 |
|
Author: Oleg V. Sokolsky; Scott A. Smolka; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The invariant checker: automated deductive verification of reactive systems, (LNCS-Lecture Notes in Computer Science 1254) Hal 436-439 |
|
Author: Hassen Saidi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A metalanguage for the formal requirement specification of reactive systems, (LNCS-Lecture Notes in Computer Science 670) Hal 110-128 |
|
Author: Egidio Astesiano; Gainna Reggio; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The invariant checker: automated deductive verification of reactive systems, (LNCS-Lecture Notes in Computer Science 1254)Hal. 436-443 |
|
Author: Hassen Saidi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An automata-theoretic approach to fair realizability and synthesis, (LNCS-Lecture Notes in Computer Science 939) Hal 267-278 |
|
Author: Moshe Y. Vardi; | Call Number: 004 Int c | 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
|
| Automatic datapath abstraction in hardware systems, (LNCS-Lecture Notes in Computer Science 939) Hal 98-113 |
|
Author: Ramin Rojati; Robert K. Brayton; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result