Dang Van Hung. Real-time Systems Development with Duration Calculus: an Overview. Technical Report 255, UNU-IIST, P.O. Box 3058, Macau, June 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Software Technology - Unu Iist Report (Correct)
....Publications and dissemination 14 4 Publications and dissemination 4.1 Publications 4.1.1 UNU IIST reports In 2002, UNU IIST sta and fellows have produced 23 reports, which are available for downloading via the UNU IIST web page and also available in the UNU IIST library. These reports are [16, 21, 4, 10, 22, 1, 23, 24, 2, 17, 11, 13, 20, 8, 9, 25, 18, 26, 27, 7, 28, 29, 19] 4.1.2 External Publications The book Speci cation Case Studies in RAISE edited by Hung Dang Van, Chris George, Tomasz Janowski, and Richard Moore was published by Springer Verlag in February this year. This book collected and represented part of research achievement of UNU IIST sta and ....
Dang Van Hung. Real-time Systems Development with Duration Calculus: an Overview. Technical Report 255, UNU/IIST, P.O. Box 3058, Macau, June 2002.
Software Technology - Unu-Iist Report No (Correct)
No context found.
Dang Van Hung. Real-time Systems Development with Duration Calculus: an Overview. Technical Report 255, UNU-IIST, P.O. Box 3058, Macau, June 2002.
An Optimal Approach to Hardware/software Partitioning.. - Geguang, Yi, Van.. (2003) (1 citation) (Correct)
No context found.
Dang Van Hung. Real-time Systems Development with Duration Calculus: an Overview. Technical Report 255, UNU/IIST, P.O. Box 3058, Macau, June 2002.
Software Technology - Unu-Iist Report No (Correct)
No context found.
Dang Van Hung. Real-time Systems Development with Duration Calculus: an Overview. Technical Report 255, UNU-IIST, P.O. Box 3058, Macau, June 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC