Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Fatima Shokri-Manninen
Latest
Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes
Cite
×