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

Patrick Farail

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

2003
2EEBernard Berthomieu, Pierre-Olivier Ribet, François Vernadat, J. L. Bernartt, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gauffilet, Pierre Dissaux, Jean-Luc Lambert: Towards the verification of real-time systems in avionics: the Cotre approach. Electr. Notes Theor. Comput. Sci. 80: (2003)
1994
1 Pierre Dissaux, Patrick Farail, Pierre Leroy, P. Micouin: A New Approach for HOOD/Ada Mapping. Ada-Europe 1994: 147-154

Coauthor Index

1J. L. Bernartt [2]
2Bernard Berthomieu [2]
3Jean-Paul Bodeveix [2]
4Pierre Dissaux [1] [2]
5Jean-Marie Farines [2]
6Mamoun Filali [2]
7Pierre Gauffilet [2]
8Jean-Luc Lambert [2]
9Pierre Leroy [1]
10Pierre Michel [2]
11P. Micouin [1]
12Gérard Padiou [2]
13Pierre-Olivier Ribet [2]
14François Vernadat [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)