LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Tin tức » Thông tin

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

Biết thêm chi tiết

 Mentions légales
Sơ đồ site |