A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems

Christophe Aussaguès, Vincent David. A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems. In 4th International Conference on Engineering of Complex Computer Systems (ICECCS 98), 10-14 August 1998, Monterey, CA, USA. pages 2-12, IEEE Computer Society, 1998. [doi]

@inproceedings{AussaguesD98,
  title = {A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems},
  author = {Christophe Aussaguès and Vincent David},
  year = {1998},
  url = {http://csdl.computer.org/comp/proceedings/iceccs/1998/8597/00/85970002abs.htm},
  researchr = {https://researchr.org/publication/AussaguesD98},
  cites = {0},
  citedby = {0},
  pages = {2-12},
  booktitle = {4th International Conference on Engineering of Complex Computer Systems (ICECCS  98), 10-14 August 1998, Monterey, CA, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-8186-8597-2},
}