Search Result
Save to File
Your search for
37151
returns
3301
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
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
Embeded real-time systems : a specification and design methodology
Author: Calvez, Jean Paul; | Call Number: 004.33 Cal e | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Real-time systems: formal specification and automatic verification
Author: Olderog, E.R; | Call Number: 004.33 Old r | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Software specification and design: a disciplined approach for real-time systems/Kenneth C. Shumate
Author: Shumate, Kenneth C.; | Call Number: 004.33 Shu s | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Real-Time Taxi Dispatching Using Global Positioning Systems
Author: Ziqi Liao | Type: Indeks Artikel Jurnal
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
Functional specification of real-time and hybrid systems, (LNCS-Lecture Notes in Computer Science 1201) Hal 273-285
Author: Olaf Muller; Peter Scholz; | Call Number: 004.33 Mal h | 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
Search Result