Veranstaltungen

29. September 2017, 09:00 bis 02. Oktober 2017 18:00

Formal Methods and Models for System Design

Konferenz

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.

Kalendereintrag

Öffentlich

Ja

 

Kostenpflichtig

Ja

 

Anmeldung erforderlich

Ja