-
1Report
المساهمون: Specification and Programming of Communicating Real-Time Systems (SPECTRE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), 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), INRIA
المصدر: https://hal.inria.fr/inria-00073711 ; [Research Report] RR-2987, INRIA. 1996.
مصطلحات موضوعية: GENERATION OF TEST SUITE, ON THE FLY VERIFICATION, TEST PURPOSE, FORMAL SPECIFICATION, INPUTS--OUTPUTS TRANSITIONS SYSTEMES, VERDICTS, TIMERS, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Relation: Report N°: RR-2987; inria-00073711; https://hal.inria.fr/inria-00073711; https://hal.inria.fr/inria-00073711/document; https://hal.inria.fr/inria-00073711/file/RR-2987.pdf
-
2Report
المساهمون: Specification and Programming of Communicating Real-Time Systems (SPECTRE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), 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), INRIA
المصدر: https://hal.inria.fr/inria-00073775 ; [Research Report] RR-2923, INRIA. 1996.
مصطلحات موضوعية: PROTOCOL, BLACK BOX TESTING, TEST GENERATION, VERIFICATION, CONFORMANCE, SPECIFICATION, IMPLEMENTATION, TEST PURPOSE, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Relation: Report N°: RR-2923; inria-00073775; https://hal.inria.fr/inria-00073775; https://hal.inria.fr/inria-00073775/document; https://hal.inria.fr/inria-00073775/file/RR-2923.pdf
-
3Report
المؤلفون: Jard, Claude, Jézéquel, Jean-Marc, 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), INRIA
المصدر: https://hal.inria.fr/inria-00073884 ; [Research Report] RR-2808, INRIA. 1996.
مصطلحات موضوعية: OBJECT-ORIENTED MODELING, VALIDATION AND VERIFICATION, PROTOCOLS, SOFTWARE ENGINEERING, ALTERNATING-BIT-PROTOCOL, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Relation: Report N°: RR-2808; inria-00073884; https://hal.inria.fr/inria-00073884; https://hal.inria.fr/inria-00073884/document; https://hal.inria.fr/inria-00073884/file/RR-2808.pdf
-
4Conference
المؤلفون: 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
مصطلحات موضوعية: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Relation: hal-00765453; https://hal.inria.fr/hal-00765453
الاتاحة: https://hal.inria.fr/hal-00765453