Inria
Inria.fr
Inria Channel
Summer School
11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems
Formal methods are emerging in computer science as a prominent approach to the rigorous design of computer, communication and software systems.
The aim of the SFM series is to offer a good spectrum of current research in foundations as well as applications of formal methods, which can be of interest for graduate students and young researchers who intend to approach the field.
- Date : 13/06/2011 au 18/06/2011
- Lieu : Bertinoro (Italy)
This year SFM is held in collaboration with the researchers of the EU-funded projects CONNECT and EternalS and covers topics such as connecting eternal software systems, formal foundations for connectors, dynamic connector synthesis, interaction behavior monitoring and learning, and dependability assurance of connected system.
Mots-clés : Paris - Rocquencourt ARLES CONNECT Summer school
En savoir plus
