Guilhem Pouzancre

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003

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

1 EE 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	EE	Guilhem Pouzancre: How to Diagnose a Modern Car with a Formal B Model?. ZB 2003: 98-100
1	EE	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]