Search
Now showing items 1-5 of 5
Towards the formal analysis of microresonators based photonic systems
Publisher: IEEE
Year: 2014
Real time verification of firewalls with dynamic rulebase update
Publisher: IEEE
Year: 2014
Towards the formal verification of optical interconnects
Publisher: IEEE
Year: 2014
A survey on the application of Neural Networks in the safety assessment of oil and gas pipelines
Publisher: IEEE
Year: 2014
Enablingy the DC solutions characterization using a fuzzy approach
Publisher: IEEE
Year: 2014