Filtrer vos résultats
- 14
- 2
- 12
- 3
- 1
- 16
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 15
- 1
- 7
- 4
- 4
- 1
- 16
- 6
- 6
- 5
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
16 résultats
|
|
triés par
|
ModelJ : Component-based Modeling for Embedded SystemsEuropean Conference on Object Oriented Programming (ECOOP’2001), Jun 2001, Budapest, Hungary
Communication dans un congrès
hal-03409754v1
|
|||
Object Oriented Extensions to VHDL, the LaMI proposalConference on Hardware Description Languages’97, Apr 1997, Toledo, Spain
Communication dans un congrès
hal-03409759v1
|
|||
MIRELA: A language for modeling and analyzing mixed reality applications using timed automataIEEE Virtual Reality 2008 (VR'08), Mar 2008, Reno, NV, United States. pp.249--250
Communication dans un congrès
hal-00339452v1
|
|||
System specification experiments on a common benchmark : portal crane specification in Java.IEEE Design & Test of Computers, 2000
Article dans une revue
hal-03409688v1
|
|||
OOVHDL : Object Oriented VHDLVHDL International Users’ Forum, Fall 1997, Oct 1997, Washington, United States
Communication dans un congrès
hal-03409762v1
|
|||
Towards modelling and verification of mobile agent systemsWorkshop on Industrial Applications of Distributed Intelligent Systems (INADIS'2006), 2006, Brazil. pp.ERREUR_CHAMPS_NON_SPECIFIE
Communication dans un congrès
hal-00340473v1
|
|||
Modeling and analyzing mixed reality applications using timed automataFirst Mediterranean Conference on Intelligent Systems and Automation (CISA'08), Jun 2008, Annaba, Algeria. pp.173--178
Communication dans un congrès
hal-00339453v1
|
|||
|
Tooled Methods for the Simulation of Deployment of Safe Services in the Internet of Vehicles10th International Workshop on ADVANCEs in ITC Infrastructures and Services (ADVANCE 2023), Federal University of Ceara, University of Evry, Feb 2023, Fortaleza-Jerricoacoara, Brazil. 6p, ⟨10.48545/advance2023-shortpapers-5_4⟩
Communication dans un congrès
hal-04077302v1
|
||
The MIRELA framework: modeling and analyzing mixed reality applications using timed automataJournal of Virtual Reality and Broadcasting, 2009, 6 (1), elec. proc
Article dans une revue
hal-00639378v1
|
|||
L’approche Orientée Objet pour la modélisation de systèmes matérielsInformatique [cs]. Université d'Évry Val d'Essonne, 1999. Français. ⟨NNT : ⟩
Thèse
tel-03409765v1
|
|||
The MIRELA Framework: modeling and analyzing mixed reality applications using timed automata10th ACM/IEEE Virtual Reality International Conference (VRIC 2008), Apr 2008, Laval, France. pp.189--199
Communication dans un congrès
hal-00339454v1
|
|||
|
Bi-objective optimization for a two-depot automated storage/retrieval system in container terminals3rd International Conference on Multiple Objective Programming and Goal Programming (MOPGP 2017), Oct 2017, Metz, France. (elec. proc.)
Communication dans un congrès
hal-01689831v1
|
||
Object Oriented Modeling for System DesignInternational Conference on Information Systems Analysis and Synthesis (ISAS’99), Aug 1999, Orlando, United States
Communication dans un congrès
hal-03409758v1
|
|||
ModelJ : System Level Model for Embedded System Design.Forum on specification and Design Language (FDL’2002), Sep 2002, Marseille, France
Communication dans un congrès
hal-03409749v1
|
|||
Object Oriented Modeling for Embedded System DesignVHDL International Users’ Forum, Fall Conference, IEEE Computer Soc. Press, Oct 2000, Orlando, United States
Communication dans un congrès
hal-03409755v1
|
|||
Modeling and validation of mobile agent systems: a case studyINFOCOMP Journal of Computer Science, 2007, Special Edition, pp.9--15
Article dans une revue
hal-00340121v1
|