.:. Consultation > Liste par année > 2001 .:.

430 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Cooperation and Interconnection of Enterprise Process Services Baïna K. Dans Invited Talk at the 6th Workshop on Tools for the Effective Use of Parallel and Distributed Computing Systems (2001) 31 p [inria-00107528 - version 1]

Formalizing UML Behavioral Diagrams with B Ledang H., Souquières J. Dans Tenth OOPSLA Workshop on Behavioral Semantics: Back to Basics (2001) 12 p [inria-00107872 - version 1]

Cooperation Services in a Structural Computing Environment Tata S., Hicks D. L., Wiil U. K. Dans 3rd International Workshop on Structural Computing - SC3'2001 (2001) 5 p [inria-00099400 - version 1]

Auto-organisation modulaire d'une architecture intelligente Scherrer B. Dans Valgo numéro 01-02, La revue en ligne de l'Association des Connexionnistes en THèse (2001) 8 p [inria-00099399 - version 1]

Réseaux de preuve et génération pour les grammaires de types logiques Pogodalla S. Institut National Polytechnique de Lorraine - INPL (27/09/2001), Alain Lecomte (Dir.) [tel-00112982 - version 1]

Certifying Term Rewriting Proof in ELAN Nguyen Q.-H. Dans 2nd International Workshop on Rule-based Programming - RULE'01 59/4 (2001) 18 p [inria-00107875 - version 1]

Integrating UML and B Specification Techniques Ledang H., Souquières J. Dans The Informatik 2001 Workshop on Integrating Diagrammatic and Formal Specification Techniques (2001) 8 p [inria-00107870 - version 1]

A Tool for Lazy Verification of Security Protocols Chevalier Y., Vigneron L. N° A01-R-140 || chevalier01b (2001) [inria-00107545 - version 1]

New Approach for Modeling State-Chart Diagrams in B Ledang H., Souquières J. N° A01-R-082 || ledang01f (2001) [inria-00107544 - version 1]

Etude des propriétés du calcul de réécriture: du rho calcul au rhoEpsilon calcul Faure G. N° A01-R-389 || faure01a (2001) [inria-00107538 - version 1]