Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Jüri Vain
Latest
Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes
Cite
×