io-port 05754906 Besnard, Loïc;
Gautier, Thierry;
Ouy, Julien;
Talpin, Jean-Pierre;
Bodeveix, Jean-Paul;
Cortier, A.;
Pantel, Marc;
Strecker, Martin;
Garcia, G.;
Rugina, A.;
Buisson, Jérémy;
Dagnat, Fabien
Polychronous interpretation of synoptic, a domain specific modeling language for embedded flight-software. (English)
Comput. Res. Repos. 2010, Article No. 1003.0554 (2010).
1
Modular interpretation of heterogeneous modeling diagrams into synchronous equations using static single assignment (English)
ACSD, 137-146 (2010).
2
Formal validation of Java/swing user interfaces with the event B method (English)
HCI (1), 1062-1071 (2007).
3
Formal modelling of avionics systems. An approach based on category theory and the EXPRESS modelling language (English)
ISoLA, 36-44 (2006).
4
Start
Contact
Print
General Help
