Searching for authors named "Michel Allemand" – sorted by Relevance.
-
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

