dblp.uni-trier.dewww.uni-trier.de

Mario Paludetto Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2004
6 Mario Paludetto, Jérôme Delatour, Adel Benzina: UML et réseaux de Petri. Technique et Science Informatiques 23(4): 543-567 (2004)
2001
5EEFrançois Taïani, Mario Paludetto, Jérôme Delatour: Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear L. ISORC 2001: 298-305
1999
4 Mario Paludetto, Jérôme Delatour: UML et les réseaux de Petri : vers une sémantique des modèles dynamiques et une méthodologie de développement des systèmes temps réel. L'OBJET 5(3/4): (1999)
1998
3EEJérôme Delatour, Mario Paludetto: UML/PNO: A Way to Merge UML and Petri Net Objects for the Analysis of Real-Time Systems. ECOOP Workshops 1998: 511-514
2EEGilles Moncelet, Søren Christensen, Hamid Demmou, Mario Paludetto, José Porras: Analysing a Mechatronic System with Coloured Petri Nets. STTT 2(2): 160-167 (1998)
1997
1EEAdel Benzina, Mario Paludetto, Jérôme Delatour: About the Suitability of Petri Nets for Describing, Validating and Evaluating SA-RT Specifications. APSEC 1997: 249-258

Coauthor Index

1Adel Benzina [1] [6]
2Søren Christensen [2]
3Jérôme Delatour [1] [3] [4] [5] [6]
4Hamid Demmou [2]
5Gilles Moncelet [2]
6José Porras [2]
7François Taïani [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)