التفاصيل البيبلوغرافية
| العنوان: |
An approach to integrate formal validation in an OO life-cycle of protocols |
| المؤلفون: |
Jézéquel, Jean-Marc, Jard, Claude, Nedelka, Laurence |
| المساهمون: |
Models and Tools for Programming Distributed Parallel Architectures (PAMPA), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-INRIA Rennes, Institut National de Recherche en Informatique et en Automatique (Inria) |
| المصدر: |
Proc. of FMOODS'96 ; https://hal.inria.fr/hal-00765453 ; Proc. of FMOODS'96, Mar 1996, PARIS, France |
| بيانات النشر: |
HAL CCSD |
| سنة النشر: |
1996 |
| المجموعة: |
Université de Rennes 1: Publications scientifiques (HAL) |
| مصطلحات موضوعية: |
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] |
| جغرافية الموضوع: |
PARIS, France |
| الوصف: |
International audience |
| نوع الوثيقة: |
conference object |
| اللغة: |
English |
| Relation: |
hal-00765453; https://hal.inria.fr/hal-00765453 |
| الاتاحة: |
https://hal.inria.fr/hal-00765453 |
| رقم الانضمام: |
edsbas.BE68F228 |
| قاعدة البيانات: |
BASE |