Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin. Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures. In Jin Song Dong, Jim Woodcock, editors, Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings. Volume 2885 of Lecture Notes in Computer Science, pages 359-374, Springer, 2003. [doi]

This author has not been identified. Look up 'Mickaël Kerboeuf' in GoogleThis author has not been identified. Look up 'David Nowak' in GoogleThis author has not been identified. Look up 'Jean-Pierre Talpin' in Google