Searching for authors named "Hubert Garavel" – sorted by Relevance.
35 documents found, showing 1 through 10.
Next 10 →
-
Contribution to the Design of Data Types in E-LOTOS
- …Contribution to the Design of Data Types in E-LOTOS Version 1.0 Hubert GARAVEL INRIA Rhone…
- Add To MetaCart
-
CÆSAR Reference Manual
- …Caesar Reference Manual Hubert GARAVEL Laboratoire de G'enie Informatique Institut I…
- Add To MetaCart
-
On the Definition of Modular E-LOTOS
- …On the Definition of Modular E-Lotos Draft of 1996/12 Mihaela Sighireanu Hubert Garavel Abstract…
- Add To MetaCart
-
Defect Report concerning ISO International Standard 8807 and Proposal for a Correct Flattening of LOTOS Parameterized Types
- … of LOTOS Parameterized Types Hubert Garavel Mihaela Sighireanu INRIA Rhone-Alpes VERIMAG --- Miniparc…
- Add To MetaCart
-
A Wish List for the Behaviour Part of LOTOS
- …A Wish List for the Behaviour Part of LOTOS Version 2.0 Hubert GARAVEL INRIA Rhone…
- Add To MetaCart
-
OPEN/CÆSAR: An Open Software Architecture for Verification, Simulation, and Testing
- …, Simulation, and Testing Hubert Garavel Th#me 1 R#seaux et syst#mes Projet VASY Rapport de recherche n3352…
- Add To MetaCart
-
An Example of LOTOS Specification: the Matrix Switch Problem
- …An Example of LOTOS Specification: the Matrix Switch Problem Hubert GARAVEL Carlos RODRIGUEZ L…
- Cited by 3 (0 self) – Add To MetaCart
-
French-Romanian Proposal for Capture of Requirements and Expression of Properties in E-Lotos Modules
- …-Lotos Modules Version 1.0 Radu MATEESCU Hubert GARAVEL INRIA Rhone-Alpes VERIMAG --- Miniparc-ZIRST rue…
- Cited by 3 (2 self) – Add To MetaCart
-
French-Romanian Integrated Proposal for the User Language of E-LOTOS
- … document of ISO/IEC JTC1/SC21/WG7/1.21.20.2.3 `Enhancements to LOTOS' Kansas City meeting, May 1996 Hubert…
- Cited by 4 (1 self) – Add To MetaCart
-
French-Romanian comments regarding some proposed features for E-LOTOS data types
- …French-Romanian comments regarding some proposed features for E-LOTOS data types Hubert Garavel…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
