Tools and Techniques for the Design and Systematic Analysis of Real-Time Systems

@inproceedings{Bultan1999ToolsAT,
  title={Tools and Techniques for the Design and Systematic Analysis of Real-Time Systems},
  author={Tevfik Bultan and Ambuj K. Singh and Richard A. Kemmerer and Paul Z. Kolano},
  year={1999}
}

Similar Papers

Loading similar papers…