Your search for 37151 returns 3342 document(s) |
Verifying hybrid systems modeled as timed automata: a case study, (LNCS-Lecture Notes in Computer Science 1201) Hal 171-185 |
Author: Myla Archer; Constance heitmeyer; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The real-time specification for java, page 47 |
Author: Greg Bollella | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An overview of the real-time corba specification, page 56 |
Author: Douglas C. Schmidt | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Specification of a real-time pulse detection, Hal. 82-104 |
Author: Henrik Reif Andersen; Jacob Lyng Petersen; | Call Number: SEm-253 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Real-time systems: management and design |
Author: Tebbs, David; | Call Number: 004.33 Teb r | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Real-Time Systems : The International Journal |
Call Number: [11 (1996): 1-3
, 10 (1996): 1-3
, 12 (1997): 1-3
, 13 (1997): 1-3
] | Type: Jurnal/ Majalah
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Real-Time Systems and their programming languages |
Author: Burns,Alan; | Call Number: 004.33 Bur r | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Designing large real-time systems with ada |
Author: Nielsen, Kjell; | Call Number: 004.33 Nie d | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Structured development for real-time systems |
Author: Mellor, Stephen J.; | Call Number: 004.33 War s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Object oriented technology for real-time systems: a practical approach using OMT and fusion |
Author: Awad, Maher; | Call Number: 005.2 Awa o | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|