Author/Authors :
T.A، Henzinger, نويسنده , , C.M.، Kirsch, نويسنده , , M.A.A.، Sanvido, نويسنده , , W.، Pree, نويسنده ,
Abstract :
Giotto is a high-level programming language for time-triggered control applications. The authors begin with a conceptual overview of its methodology, discuss the Giotto helicopter project, and summarize available Giotto implementations.
