Search Result Save to File Save as CSV
Your search for 38932 returns 2597 document(s)
Verification of real-time systems by successive over and under approximation, (LNCS-Lecture Notes in Computer Science 939) Hal 409-422
Author: David L. Dill; Howard Wong-Toi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Verification of real-time systems by successive over and under approximation, (LNCS-Lecture Notes in Computer Science 939) Hal 409-422
Author: David L. Dill; Howard Wong-Toi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Efficient timing analysis of a class of petri nets, (LNCS-Lecture Notes in Computer Science 939) Hal 423-436
Author: Henrik Hulgaard; Steven M. Burns; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Verifying w-regular properties for a subclass of linear hybrid systems, (LNCS-Lecture Notes in Computer Science 939) Hal 437-450
Author: Ahmed Bouajjani; Riadh Robbana; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Using relative refinement for fault tolerance,(LNCS-Lecture Notes in Computer Science 939) Hal 19-41
Author: Antonio Cau; Willem-Paul de Roever; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Interactively verifying a simple real-time scheduler, (LNCS-Lecture Notes in Computer Science 939) Hal 395-408
Author: Colin Fidge; Peter Kearney; Mark Utting; | Call Number: 004 Int c | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
XML semantic constraint validation for XML updates : A survey. ( hal. 57-63 )
Author: Norfaradilla Wahid, Eric Pardede; | Call Number: SEM-364 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
A Rule-based language with functions and sets, page 1
Author: Abiteboul S. | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Changing the rules: transformations of rule-based optimizers, Hal. 61-72
Author: Mitch Cherniack; Stan Zdonik; | Call Number: SEM-244 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Rule Based Automated Pronunciation Generator (hal 37-40)
Author: Ayesha Binte Mosaddeque; | Call Number: SEM-369 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   4 5 6 7 8 9 10 11 12 13  Next