Michel Poize (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venter, Daniel Weil, Sergio Yovine: TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems. CAV 2001: 391-395

1 Valérie Bertin, Michel Poize, Jacques Pulou, Joseph Sifakis: Towards validated real-time software. ECRTS 2000: 157-164

Selection of 2 from 4 records - Michel Poize has 8 coauthors

3		Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venter, Daniel Weil, Sergio Yovine: TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems. CAV 2001: 391-395
1		Valérie Bertin, Michel Poize, Jacques Pulou, Joseph Sifakis: Towards validated real-time software. ECRTS 2000: 157-164