Real-Time and Embedded System Verification Based on Formal Requirements

Benjamin Fontan, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat. Real-Time and Embedded System Verification Based on Formal Requirements. In International Symposium on Industrial Embedded Systems, IES 2006, Antibes Juan-Les-Pins, France, October 18-20, 2006. pages 1-10, IEEE, 2006. [doi]

Authors

Benjamin Fontan

This author has not been identified. Look up 'Benjamin Fontan' in Google

Ludovic Apvrille

This author has not been identified. Look up 'Ludovic Apvrille' in Google

Pierre de Saqui-Sannes

This author has not been identified. Look up 'Pierre de Saqui-Sannes' in Google

Jean-Pierre Courtiat

This author has not been identified. Look up 'Jean-Pierre Courtiat' in Google