Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Marina Waldén
Latest
Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes
On Component-Based Reuse for Event-B
Cite
×