Sciweavers

13752 search results - page 187 / 2751
» Parallel and Distributed Haskells
Sort
View
IPPS
2002
IEEE
15 years 11 months ago
Mixed Formal Specifications with PVS
Michel Allemand, Jean-Claude Royer
IPPS
2002
IEEE
15 years 11 months ago
Model-Based Fault Detection in Powerline Networking
Anish Arora, Rajesh Jagannathan, Yi-Min Wang