| Your search for 38917 returns 4085 document(s) |
| 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
|
| Scaling up uppaal automatic verification of real-time systems using compositionality and abstraction, (LNCS-Lecture Notes in Computer Science 1926) Hal 19-30 |
|
Author: Henrik Ejersbo Jensen; Kim Guldstrand Larsen; Arne Skou; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automatic datapath extraction for efficient usage of HDD, (LNCS-Lecture Notes in Computer Science 1254) Hal 95-106 |
|
Author: Gila Kamhi; Osnat Weissberg; Limor Fix; | Call Number: 004 Int c | Edition: (LNCS-Lecture Notes in Computer Science 985) | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automatic abstraction techniques for propositional u-calculus model checking, (LNCS-Lecture Notes in Computer Science 1254) Hal 12-23 |
|
Author: Abelardo Pardo; Gary D. Hachtel; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
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
|
| Verification of hybrid systems using abstraction ((LNCS-Lecture Notes in Computer Science 999), Hal. 359-390 |
|
Author: Anuj Puri and Pravin Varniya; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the automatic verification of systems with continous variables and unbounded discrete data structures, (LNCS-Lecture Notes in Computer Science 999) |
|
Author: Ahmed BBouajjani; Rachid Echahed; Riadh Robbana; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hardware verification using monadic second-order logic, (LNCS-Lecture Notes in Computer Science 939) Hal 31-41 |
|
Author: David A. Basin; Nils Klarlund; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| It usually works: the temporal logic of stochastic systems, (LNCS-Lecture Notes in Computer Science 939) Hal 155-165 |
|
Author: Adnan Aziz; Vigyan Singhal; Felice Balarin; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
Search Result