Modelling and Validating Real-Time Properties at the Requirements Level

Modelling and Validating Real-Time Properties at the Requirements Level

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

Google Scholar BibTex