Fair Objects
Résumé
l'utilisation des concepts orientés objets dans le developpement de specifications. La modélisation et spécifications d'objets en utilisant TLA.
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00098620
Soumis le : lundi 25 septembre 2006-17:04:02
Dernière modification le : vendredi 24 mars 2023-14:52:48