1 Compositional Methods and Symbolic Model Checking Ken McMillan Cadence Berkeley Labs.
PHARMACEUTICAL AND REGULATORY COMPLIANCE CONGRESS NOVEMBER 2002.
19-10-2004 1E.Vittone, IEEE-RTSD, ROME Silicon Carbide for Alpha, Beta, Proton and Soft X-Ray High Performance Detectors Ettore Vittone Experimental Physics.
Multi Domain Traffic Engineered Transport Networks (E-OTN, PTN) supporting P2P, P2MP, RMP and MP2MP Ethernet Services An overview of architecture and functionality.