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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

3 Sitaatiot (Scopus)
46 Lataukset (Pure)

Sormenjälki

Sukella tutkimusaiheisiin 'Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Computer Science

Keyphrases