Java est l’un des langages de programmation les plus populaires pour travailler avec des bases de données. Que vous souhaitiez stocker, récupérer, manipuler ou analyser des données, vous ...

Projet entièrement réalisé par Metroidzeta. Le Model Checker CTL est un projet d'études réalisé dans le cadre du cours "Systèmes Complexes" en M2 Informatique parcours Programmation et Logiciels Sûrs.