Mickaël Kerboeuf

	2005
3		Mickaël Kerboeuf, Jean-Pierre Talpin: Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation. J. Log. Algebr. Program. 63(2): 241-269 (2005)
	2003
2		Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin: Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures. ICFEM 2003: 359-374
	2000
1		Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin: Specification and Verification of a Steam-Boiler with Signal-Coq. TPHOLs 2000: 356-371

Coauthor Index

1	David Nowak	[1] [2]
2	Jean-Pierre Talpin	[1] [2] [3]