Modelling and Validating Real-Time Properties at the Requirements Level
- Authors
- H. Zhang, T. Yue, S. Ali and J. Wu
- Status
- Published
- Publication type
- Technical Reports
- Year of publication
- 2015
- Journal
- -
- Publisher
- Simula Research Laboratory
- Notes
- This technical report is an earlier version of a published paper.
- Citation key
- 14537