LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » أحـداث السـاعـة » معلومات

Prédire le comportement de programmes par "model checking"

لمعلومات أكـثر أنقـر هنا

 Mentions légales
| خـريـطـة المـوقـع