Searching for authors named "Marc Aiguier" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
On Generalized Theorems for . . .
- … Marc Aiguier, Clément Boin and Delphine Longuet e-mails: {aiguier…
- Add To MetaCart
-
A Logic with Temporal Glue for Mixed Specifications
- …Abstract A Logic with Temporal Glue for Mixed Specifications Marc Aiguier, Fabrice Barbier…
- Cited by 7 (6 self) – Add To MetaCart
-
Feature Logics and refinement
- …�Ø�ÓÒØ��Ò�ÕÙ�×ÓÙÐ�����ÐÔ�ÙÐÀÓÛ�Ú�ÖØ��×ØÙ�ÝÓ� Marc Aiguier Christophe Gaston Pascale Le Gall �ÒØ�Ö�Ø�ÓÒ×Ø�ÖÓÙ���ÑÔÐ�Ñ�ÒØ�Ø�ÓÒØ��Ò�ÕÙ�×�××Ø�ÐÐ�Ò Ì…
- Add To MetaCart
-
Feature specification and static analysis for interaction
- …Feature specification and static analysis for interaction resolution Marc Aiguier , Karim Berkani…
- Cited by 1 (0 self) – Add To MetaCart
-
Mixed Specification Logic
- …Mixed Specification Logic Marc Aiguier, Fabrice Barbier and Pascal Poizat LaMI, UMR 8042 CNRS…
- Add To MetaCart
-
Feature Specification: a Logic-Independent Approach
- …-independent approach Marc Aiguier , Christophe Gaston and Pascale Le Gall£ ��ÜÒÙÑ��Ö� ����Ù…
- Add To MetaCart
-
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
- …Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms Marc Aiguier 1…
- Cited by 1 (1 self) – Add To MetaCart
-
Algebraic treatment of feature-oriented systems
- … Algebraic Treatment of Feature-oriented Systems Christophe Gaston, Marc Aiguier, and Pascale Le…
- Cited by 4 (3 self) – Add To MetaCart
-
A temporal logic for input output symbolic transistion systems
- …A Temporal Logic for Input Output Symbolic Transition Systems Marc Aiguier 1 , Christophe Gaston 2…
- Add To MetaCart
Showing 1 through 9.
