Sciweavers

81 search results - page 17 / 17
» Toward a threat model for storage systems
Sort
View
IFM
2007
Springer
129views Formal Methods» more  IFM 2007»
14 years 13 days ago
Slotted-Circus
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...
Andrew Butterfield, Adnan Sherif, Jim Woodcock