Technische Universität Wien
> Zum Inhalt

Formal Methods and Models for System Design

The 15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) focuses on models and methodologies in correct system design and development, and brings together researchers and industry practitioners interested in all aspects of computer system development, to exchange ideas, research results and lessons learned.

Art: Konferenz
Von: 29.09.2017 09:00
Bis: 02.10.2017 18:00
Ort:

TU Wien
Kontaktraum
Gusshausstrasse 27-29, 1040 Wien

Veranstalter:

TU Wien
Institut für Informationssysteme
Veranstalter: Georg Weissenbacher, Jean-Pierre Talpin, Patricia Derler, Klaus Schneider
Ansprechperson: Georg Weissenbacher, georg.weissenbacher@tuwien.ac.at

Dateien:
Links:

http://memocode.irisa.fr/2017

Öffentlich: ja
Kostenpflichtig: ja
Anmeldung: ja
Zurück