Search
نمایش تعداد 1-5 از 5
Towards the formal analysis of microresonators based photonic systems
ناشر: IEEE
سال: 2014
Real time verification of firewalls with dynamic rulebase update
ناشر: IEEE
سال: 2014
Towards the formal verification of optical interconnects
ناشر: IEEE
سال: 2014
Enablingy the DC solutions characterization using a fuzzy approach
ناشر: IEEE
سال: 2014