Communication Dans Un Congrès
Année : 2007
Lionel Morel : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00292880
Soumis le : mercredi 2 juillet 2008-18:41:30
Dernière modification le : lundi 9 mai 2022-13:10:01
Citer
Lionel Morel, Pontus Boström, Marina Waldén. Stepwise development of Simulink models using the refinement calculus framework. ICTAC'07 - International Colloquium on Theoretical Aspects of Computing, Sep 2007, Macao, China. pp.79-93, ⟨10.1007/978-3-540-75292-9_6⟩. ⟨hal-00292880⟩
14
Consultations
0
Téléchargements