153 search results - page 31 / 31 » Toward a Dynamic Logic of Questions |
136
click to vote
IFM
2007
Springer
15 years 9 months ago
2007
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
158
Voted
CORR
2010
Springer
15 years 4 days ago
2010
Springer
This report outlines the use of a relational representation in a Multi-Agent domain to model the behaviour of the whole system. A desired property in this systems is the ability of...
234
Voted
ICTAC
2010
Springer
15 years 1 months ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...