- Imprimer
- Partager
- Partager sur Facebook
- Partager sur Twitter
- Partager sur LinkedIn
- Share url
Mots clés
Langages de programmation et analyses statiques Modèles de calcul Modèles et programmation pour le web Spécification et vérification formelles Sureté de fonctionnement Systèmes concurrents Systèmes embarqués
- Imprimer
- Partager
- Partager sur Facebook
- Partager sur Twitter
- Partager sur LinkedIn
- Share url