91 search results - page 19 / 19 » Mechanized metatheory model-checking |
207
click to vote
ICTAC
2010
Springer
15 years 10 days 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...