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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.