K. Hammond and G. Michaelson. Hume: a domain-specific language for real-time embedded systems. In Proceedings of the Second International Conference on Generative Programming and Component Engineering, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Towards Formally Verifiable WCET Analysis for a.. - Hammond.. Self-citation (Hammond Michaelson) (Correct)
No context found.
K. Hammond and G.J. Michaelson. Hume: a Domain-Specific Language for Real-Time Embedded Systems. In Proc. Conf. Generative Programming and Component Engineering (GPCE '03), Lecture Notes in Computer Science. Springer-Verlag, 2003.
Verifying Temporal Properties in HW-Hume - Grov, Ireland, Michaelson, al. Self-citation (Hammond Michaelson) (Correct)
No context found.
K. Hammond and G. Michaelson. Hume: a Domain-Specific Language for Real-Time Embedded Systems. In Proc. Conf. Generative Programming and Component Engineering (GPCE '03), Lecture Notes in Computer Science. Springer-Verlag, 2003.
Developing Embedded Multi-threaded Applications with.. - Roper, Olsson (2005) (Correct)
No context found.
K. Hammond and G. Michaelson. Hume: a domain-specific language for real-time embedded systems. In Proceedings of the Second International Conference on Generative Programming and Component Engineering, 2003.
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