Your search for 45257 returns 401 document(s) |
Formal description of a real-time component, 244-247 |
Author: Qi Zhong-xia; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
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
|
Duration calculus: a formal appproach to real-time systems |
Author: Chaochen, Zhou; | Call Number: 005.273 Cha d | 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
|
The verus tool: a quantitative approach to the formal verification of real-time systems, (LNCS-Lecture Notes in Computer Science 1254) Hal 452-455 |
Author: Sergio Campos; Edmund Clarke; Marius Minea; | Call Number: 004 Int c | 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
|
Demonstrating real-time JPEG image compression-decompression using standard component IP cores on a programmable logic based platform for DSP and image processing, (LNCS-Lecture Notes in Computer Science 2147) Hal 441-450 |
Author: Albert Simpson; Jill Hunter; Moira Wylie; Yi Hu; David Mann; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Real-Time software for control |
Author: Auslander, David M.; | Call Number: 629.895 Aus r | Type: Buku Pusat
|
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
|