Sciweavers

6381 search results - page 1277 / 1277
» Alternative Implementation of the C
Sort
View
ICTAC
2010
Springer
13 years 9 months ago
Preference and Non-deterministic Choice
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...
Bill Stoddart, Frank Zeyda, Steve Dunne
« Prev « First page 1277 / 1277 Last » Next »