Patrick Farail

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2003
j1		Bernard 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: 203-218 (2003)
	1994
c1		Pierre Dissaux, Patrick Farail, Pierre Leroy, P. Micouin: A New Approach for HOOD/Ada Mapping. Ada-Europe 1994: 147-154

Coauthor Index

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

Last update Tue May 21 15:15:32 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page