RÉTRORÉFLECTOMÈTRE LTL-XL

Les propriétés : logique temporelle LTL ... Vérification de formules LTL avec Spin. Mirabelle ...... Ce cours est largement inspiré du livre : Systems and Software.


Un extrait du document

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