MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Didier Bert – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

9 documents found, showing 1 through 9.

ATOM

Morphisms - CFI Language Design Study Note
by Didier Bert, Didier Bert — 1996
…Morphisms CFI Language Design Study Note Didier Bert May 13, 1996 (V1.0) This CFI Language Design…
Add To MetaCart

On the Operational Semantics of the Algebraic and Logic Programming Language LPG
by Didier Bert, Rachid Echahed — 1995 — In Recent Trends in Data Type Specifications
…On the Operational Semantics of the Algebraic and Logic Programming Language LPG Didier Bert…
Cited by 4 (0 self) – Add To MetaCart

Abstraction of Conditional Term Rewriting Systems
by Didier Bert, Rachid Echahed — 1995 — Proceedings of the 1995 Int’l Symposium on Logic Programming (ILPS’95
…Abstraction of Conditional Term Rewriting Systems Didier Bert and Rachid Echahed IMAG-LGI, BP 53…
Cited by 7 (2 self) – Add To MetaCart

A Model Inference System for Generic Specification with Application to Code Sharing
by Didier Bert, Catherine Oriat — 1995 — In Proc. of TAPSOFT-95, Col. on Formal Approaches in Software Engineering, LNCS 915
…A Model Inference System for Generic Specification with Application to Code Sharing Didier Bert…
Cited by 4 (3 self) – Add To MetaCart

800 Regulations Modelling and their Validation and Verification Validation of Regulation Documents by Automated Analysis of Formal Models ⋆
by Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes
… by Automated Analysis of Formal Models ⋆ Didier Bert 1 , Fabrice Bouquet 2 , Yves Ledru 1 , and Sylvie Vignes 3…
Add To MetaCart

A Study on Components and Assembly Primitives in B
by Didier Bert, Marie-Laure Potet, Yann Rouzaud — In Proceedings of the first B conference, pages 47–62, 3 rue du Maréchal Joffre, BP 34103, 44041 Nantes Cedex 1
…A Study on Components and Assembly Primitives in B Didier Bert, Marie-Laure Potet, Yann Rouzaud…
Cited by 7 (2 self) – Add To MetaCart

Resolution of goals with the functional and logic programming language LPG : impact of interpretation
by Didier Bert, Rachid Echahed, Kamel Adi
… interpretation Didier Bert, Rachid Echahed and Kamel Adi IMAG-LSR, CNRS, BP 53, 38041 Grenoble cedex 9, France e…
Cited by 1 (1 self) – Add To MetaCart

Adaptable Translator of B Specifications to Embedded C Programs
by Didier Bert, Sylvain Boulme, Marie-Laure Potet, Antoine Requet, Laurent Voisin
…Adaptable Translator of B Specifications to Embedded C Programs # Didier Bert 3 , Sylvain Boulme…
Cited by 3 (1 self) – Add To MetaCart

Université Joseph Fourier Grenoble IProof Obligations for Specification and Refinement of Liveness Properties under Weak Fairness
by Héctor Ruíz Barradas, Didier Bert, Metropolitana Azcapotzalco, México D. F
… Properties under Weak Fairness Héctor Ruíz Barradas 1,2 and Didier Bert 2 1 Universidad Autónoma…
Add To MetaCart

Showing 1 through 9.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB