Searching for authors named "Michel Allemand" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Formal Combination of the CCS Process Algebra with the CASL Algebraic Specification Language
- … Salaun, Michel Allemand, and Christian Attiogbe IRIN, Universite de Nantes 2 rue de la Houssiniere, B…
- Cited by 1 (1 self) – Add To MetaCart
-
Foundations for a Combination of Heterogeneous Specification Components
- … Gwen Salaun, Michel Allemand, Christian Attiogbe 1 IRIN, University of Nantes, France Abstract…
- Cited by 1 (1 self) – Add To MetaCart
-
A Practical Combination of a Process Algebra with an Algebraic Specification Language
- …un IRIN, Nantes University 2 rue de la Houssiniere, B.P. 92208, F-44322 Nantes Cedex 3, France Michel…
- Cited by 4 (4 self) – Add To MetaCart
-
Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language: an Overview
- … Language: an Overview Gwen Salaun, Michel Allemand, and Christian Attiogbe IRIN, Universite de Nantes…
- Cited by 4 (4 self) – Add To MetaCart
-
Specification of an Access Control System with a Formalism Combining CCS and CASL
- …, Michel Allemand, and Christian Attiogbe IRIN, Universite de Nantes 2 rue de la Houssiniere, B.P. 92208…
- Cited by 5 (2 self) – Add To MetaCart
-
A System for Modelling and Proving Circuits
- …ED&TC ’96 0-89791-821/96 $5.00 © 1996 IEEE A system for modelling and proving circuits Michel…
- Add To MetaCart
-
SHE'S Project: a Report of Joint Works on Integration of Formal Specification Techniques
- …SHE'S Project: a Report of Joint Works on Integration of Formal Specication Techniques Michel…
- Cited by 5 (4 self) – Add To MetaCart
-
Formal Framework for the Combination of Process Algebras with Algebraic Specification Languages
- … Specification Languages Gwen Salan, Michel Allemand, Christian Attiogb {Gwen.Salaun,Michel.Allemand…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 8.
