Skip to main navigation
Skip to search
Skip to main content
JKU & KUK Research Portal Home
Help & FAQ
English
Deutsch
Home
Research units
Profiles
Research output
Projects
Activities
Datasets
Prizes
Press/Media
Search by expertise, name or affiliation
12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems
Michalis Famelis (Organiser)
Daniel Ratiu (Organiser)
Seidl, M.
(Organiser)
Gehan M. K. Selim (Organiser)
Institute of Formal Models and Verification
Activity
:
Participating in or organising an event
›
Organising a conference, workshop, ...
Period
29 Sept 2015
Event type
Conference
Location
Canada
Show on map
Fields of science
202006 Computer hardware
603109 Logic
102 Computer Sciences
JKU Focus areas
Computation in Informatics and Mathematics