Verifying Reactive Systems Using Predicate Diagrams
Résumé
je l'envoi
| Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
je l'envoi
Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00099261
Soumis le : mardi 26 septembre 2006-08:52:13
Dernière modification le : mardi 4 novembre 2025-12:04:51