281 search results - page 57 / 57 » Solving Parametric Algebraic Systems |
IFM
2007
Springer
13 years 12 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...