AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Crédits

Ce site est :

Nos remerciements à Jean-Luc Béchennec et Morgan Magnin pour leurs conseils avisés.