Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes

Fatima Shokri-Manninen, Leonidas Tsiopoulos, Jüri Vain, Marina Walden

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

3 Citeringar (Scopus)
46 Nedladdningar (Pure)

Fingeravtryck

Fördjupa i forskningsämnen för ”Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes”. Tillsammans bildar de ett unikt fingeravtryck.

Computer Science

Keyphrases