Your search for 38258 returns 4217 document(s) |
Structured development for real-time systems: volume 2, essential modeling techniques |
Author: Ward, Paul T.; | Call Number: 005.113 War s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Real-time UML: developing efficient of objects for embeded systems/Bruce Powel |
Author: Douglas, Bruce Powel; | Call Number: 005.117 Dou r | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The art of real-time programming: for MS-DOS and embedded systems/ Michael D. Mcdonnell |
Author: Mcdonnell, Michael D.; | Call Number: 004.33 Mcd a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The Formal Development of Real-Time Systems: A Review/ D.J. Scholefield |
Author: Scholefield, D.J.; | Call Number: 670.427 Sch f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Contracting the State Space of Real-time Pre-emptive Systems (53-58) |
Author: Abdelkrim Abdelli; | Call Number: SEM-297 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Automated search for heuristic functions, ((LNCS-Lecture Notes in Computer Science 3709) Hal 843 |
Author: Pavel Cejnar; Roman Bartak; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Safety verification for automated platoon maneuvers: a case study, (LNCS-Lecture Notes in Computer Science 1201) Hal 154-170 |
Author: Ekaterina Dolginova; Nancy Lynch; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An integration of model checking with automated proof checking, (LNCS-Lecture Notes in Computer Science 939) Hal 84-97 |
Author: S. Rajan; N. Shankar; M. K. Srivas; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Automated analysis of an audio control protocol, (LNCS-Lecture Notes in Computer Science 939) Hal 381-394 |
Author: Pei-Hsin Ho; Howard Wong-Toi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Visual -MCM: visualising execution histories on multiple memory consistency models, (LNCS-Lecture Notes in Computer Science 1557) Hal 500-509 |
Author: Alba Cristina Melo; Simone Cintra Chagas; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|