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]

@inproceedings{FontanASC06,
  title = {Real-Time and Embedded System Verification Based on Formal Requirements},
  author = {Benjamin Fontan and Ludovic Apvrille and Pierre de Saqui-Sannes and Jean-Pierre Courtiat},
  year = {2006},
  doi = {10.1109/IES.2006.357467},
  url = {http://dx.doi.org/10.1109/IES.2006.357467},
  researchr = {https://researchr.org/publication/FontanASC06},
  cites = {0},
  citedby = {0},
  pages = {1-10},
  booktitle = {International Symposium on Industrial Embedded Systems, IES 2006, Antibes Juan-Les-Pins, France, October 18-20, 2006},
  publisher = {IEEE},
  isbn = {1-4244-0777-X},
}