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

Gérard Bel

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

2005
3EELaurent Sagaspe, Gérard Bel, Pierre Bieber, Frédéric Boniol, Charles Castel: Safe Allocation of Avionics Shared Resources. HASE 2005: 25-33
2003
2EEYamine Aït Ameur, Gérard Bel, Frédéric Boniol, S. Pairault, Virginie Wiels: Robustness analysis of avionics embedded systems. LCTES 2003: 123-132
1EEFrédéric Boniol, Gérard Bel, Jérôme Ermont: Trois approches pour la modélisation et la vérification de systèmes embarqués. Technique et Science Informatiques 22(5): 539-569 (2003)

Coauthor Index

1Yamine Aït Ameur [2]
2Pierre Bieber [3]
3Frédéric Boniol [1] [2] [3]
4Charles Castel [3]
5Jérôme Ermont [1]
6S. Pairault [2]
7Laurent Sagaspe [3]
8Virginie Wiels [2]

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