Difference between revisions of "Poster Session at MLQA 2010"

From ERCIM Working Group MLQA
Jump to navigation Jump to search
(No difference)

Revision as of 11:41, 15 July 2010

We invited posters under two categories:

  • Presentation of recent or on-going work relating to models, logics, tools, and/or applications with respect to discrete, stochastic and/or continuous systems and properties.
  • Overview of the recent research activities of a group, in relation to the themes of MLQA.

There were 11 poster submissions at the MLQA poster session.