Media Summary: A talk by Romain Edelmann on the Automated Reasoning and Analysis Lab (LARA). A talk by Prof. Mathias Payer on the HexHive Lab. October 29 2014（Fri） SEC SpecialSeminar：
Edic Open House Dependable Systems - Detailed Analysis & Overview
A talk by Romain Edelmann on the Automated Reasoning and Analysis Lab (LARA). A talk by Prof. Mathias Payer on the HexHive Lab. October 29 2014（Fri） SEC SpecialSeminar： Todd Eisenhauer, NISC VP of Strategy and Operations Solutions discusses NISC's recent acquisition of Electrical Distribution ...
