International Conference on Formal Engineering Methods

Harald Brandl (Speaker)

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Description

Talk: Qualitative Action Systems
Period9 Dec 2009 → 11 Dec 2009
Event titleInternational Conference on Formal Engineering Methods
Event typeConference
LocationRio de Janeiro, Brazil