![](/img/cover-not-exists.png)
Stepwise refinement of sequence diagrams with soft real-time constraints
Refsdal, Atle, Runde, Ragnhild Kobro, Stølen, KetilVolume:
81
Language:
english
Journal:
Journal of Computer and System Sciences
DOI:
10.1016/j.jcss.2015.03.003
Date:
November, 2015
File:
PDF, 1.14 MB
english, 2015