Pascalin Amagbegnon;Paul Le Guernic;Hervé Marchand;Éric Rutten
-;-;-;-
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology
IEEE Transactions on Software Engineering
Co-simulation of Hybrid Systems: Signal-Simulink
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems