Saturday, May 3, 2014

Méthodes formelles et langages pour le développement de logiciels fiables dans l'industrie

https://ihp2014.pps.univ-paris-diderot.fr/doku.php?id=industry

Méthodes formelles et langages pour le développement de logiciels fiables dans l'industrie

The primary aim of the session is to give an opportunity to students and academics and non-academic researchers to hear about recent developments of this kind carried out in an industry context. Talks will be in French.

No comments: