Search Result
Save to File
Your search for
38926
returns
5277
document(s)
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
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
Multi-Valued Symbolic Model-Checking, page 371-408
Author: M. Chechik, [et all] | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
A Type-Based HFL Model Checking Algorithm (136-155)
Author: Youkichi Hosoi Naoki Kobayashi Takeshi Stukada; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Tutorial: minicomputer real time executives
Author: Scheeffler, James D.; | Call Number: 004.33 Sch t | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Introduction To Real Time Software Design
Author: Allworth, S.T.; | Call Number: 004.33 All i | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Micro C/OS-11: the real-time kernel
Author: Labrosse, Jean J.; | Call Number: 004.33 Lab m | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
An implementation guide to real-time programming
Author: Ripps, David L.; | Call Number: 004.33 Rip i | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Real-time object-oriented modelling
Author: Selic, Bran; | Call Number: 005.117 Sel r | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Real-Time Database: Are they Real? (3-7)
Author: Gultekin Ozsoyoglu; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
19
20
21
22
23
24
25
26
27
28
Next