Sciweavers

11395 search results - page 431 / 2279
» Beyond computer science
Sort
View
ICTCS
2003
Springer
16 years 2 days ago
Compositional Verification of Secure Streamed Data: A Case Study with EMSS
Fabio Martinelli, Marinella Petrocchi, Anna Vaccar...