| Your search for 2829 returns 2754 document(s) |
| 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
|
| Formal techniques in real-time and fault-tolerant systems: the Int. Symposium, FTRTFT 2000 Pmil India; Sep. 20-22, 2000 proceesing |
|
Author: Joseph, Mathai; | Call Number: 004.33 Jos j | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Linear hybrid systems, Hal. 47-65 |
|
Author: Frits Vaandrager; | Call Number: SEM-253 | 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
|
| Advances in information security and assurance: third international conference and workshops, ISA 2009 Seoul, Korea, June 2009 Proceedings |
|
Call Number: 005.8 Adv | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result