Search Result
Save to File
Your search for
38258
returns
4217
document(s)
Applications of modal logic for the specification of real-time systems, (LNCS-Lecture Notes in Computer Science 670) Hal 235-249
Author: Liang Chen; Alistair Munro; | Call Number: 004 Woo f | 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
Dynamically reconfigurable cores, (LNCS-Lecture Notes in Computer Science 2147) Hal 462-472
Author: John Macbeth; Patrick Lysaght; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Real time morphological image contrast enhancement in virtex FPGA, (LNCS-Lecture Notes in Computer Science 2147) Hal 430-440
Author: Jerzy Kasperek; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
An approach to real-time visualization of PIV method with FPGA, and applications and applications (LNCS-Lecture Notes in Computer Science 2147) Hal 601-606
Author: Tsutomu maruyama; Yoshiki Yamaguchi; Atsushi Kawase; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Real-time refinement, (LNCS-Lecture Notes in Computer Science 670) Hal 314-331
Author: Colin Fidge; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Advances in real-time systems
Call Number: 004.33 Adv | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Real-time systems
Author: Krishna, C.M.; | Call Number: 004.33 Kri r | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Real time systems
Author: Nissanke, Nimal; | Call Number: 004.33 Nis r | Type: Buku
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
Prev
1
2
3
4
5
6
7
8
9
10
Next