Modélisation et spécification formelles de logiciels Plan de ... - UQAM

23 janv. 2019 ... Méthodes formelles ? ... Un langage de spécification logique (LTL / Logique temporelle linéaire) ... autres ressources (livre Specifying Systems).


Un extrait du document

Top Livres   ||   De A a Z   || De Z a A