Guilhem Pouzancre

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2003

2 Guilhem Pouzancre: How to Diagnose a Modern Car with a Formal B Model?. ZB 2003: 98-100

1 Guilhem Pouzancre, Jean-Philippe Pitzalis: Modélisation en B événementiel des fonctions mécaniques, électriques et informatiques d'un véhicule. Technique et Science Informatiques 22(1): 119-128 (2003)

	2003
2		Guilhem Pouzancre: How to Diagnose a Modern Car with a Formal B Model?. ZB 2003: 98-100
1		Guilhem Pouzancre, Jean-Philippe Pitzalis: Modélisation en B événementiel des fonctions mécaniques, électriques et informatiques d'un véhicule. Technique et Science Informatiques 22(1): 119-128 (2003)

Coauthor Index

1 Jean-Philippe Pitzalis [1]