AuthorsH. Zhang, T. Yue, S. Ali and J. Wu
TitleModelling and Validating Real-Time Properties at the Requirements Level
AfilliationSoftware Engineering
Project(s)No Simula project
StatusPublished
Publication TypeTechnical reports
Year of Publication2015
Number2015-2
PublisherSimula Research Laboratory
Notes

This technical report is an earlier version of a published paper.

Citation Key25290