| Your search for 37148 returns 225 document(s) |
| Verifying real-time systems using parametrized timed modal specification, 123-127 |
|
Author: Carsten Weise; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| New CMOS VLSI linear self-timed architectures, Hal. 14-23 |
|
Author: A.J. Acosta; M. Bellido; M. Valencia; A. Barriga; R. jimenez and J.L. Huertas; | Call Number: SEM-234 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Testing self-timed circuits using partial scan, Hal. 160-169 |
|
Author: Ajay Khoche; Erik Brunvand; | Call Number: SEM-234 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The dark side of timed opacity,(LNCS-Lecture Notes in Computer Science 5576) Hal. 21-30 |
|
Author: Frank Cassez; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modelling coordinated atomic actions in timed CSP, (LNCS-Lecture Notes in Computer Science 1926) Hal 228-239 |
|
Author: Simeon Veloudis; Nimal Nissanke; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A new algorithm for discrete timed symbolic model checking, (LNCS-Lecture Notes in Computer Science 1201) Hal 18-32 |
|
Author: Jurgen Ruf; Thomas Kropf; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A case study in timed CSP: The railroad crossing problem, (LNCS-Lecture Notes in Computer Science 1201) Hal 69-74 |
|
Author: Luming Lai; Phil Watson; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Decidable model checking of probabilistic hybrid automata, (LNCS-Lecture Notes in Computer Science 1926) Hal 31-45 |
|
Author: Jeremy Sproston; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| State clock logic: a decidable real-time logic, (LNCS-Lecture Notes in Computer Science 1201) Hal 33-47 |
|
Author: Jean-Francois Raskin; Pierre-Yves Schobbens; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Scalable devide-and conquer parallel algorithm for finite state automata and its applications, 193-194 |
|
Author: Z. George Mou; Sevan G. Ficici; | Call Number: SEM-229 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result