Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, and Peter Niebert. From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications. In Proceedings of the 2003. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Distributed Schedule Carrying Code - Thomas Henzinger Christoph Self-citation (Distributed) (Correct)
No context found.
P. Caspi, A. Curic, A. Maignan, C. Sofronis, S. Tripakis, P. Niebert and T. Le Sergent. From Simulink1 to SCADE/Lustre to TTA: a layered approach for distributed embedded applications In Proc. LCTES, pp. 153-162, ACM Press, 2003. 27
Formal Verification of Time-Triggered Systems - Pike (2006) (Correct)
No context found.
Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, and Peter Niebert. From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications. In Proceedings of the 2003.
Event-driven Programming with Logical Execution Times - Ghosal, Henzinger, Kirsch.. (2004) (Correct)
No context found.
Caspi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S., Niebert, P.: From Simulink to Scade/Lustre to TTA: a layered approach for distributed embedded applications. In: Proc. Languages, Compilers, and Tools for Embedded Systems, ACM (2003) 153--162
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