Old Web
English
Sign In
Acemap
>
Paper
>
Integrating Refinement-Based Methods for Developing Timed Systems.
Integrating Refinement-Based Methods for Developing Timed Systems.
2016
Jüri Vain
Leonidas Tsiopoulos
Pontus Boström
Keywords:
Computer science
Software engineering
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
2
Citations
NaN
KQI
[]