Lecture at AVACS Autumn School
Date: Oct 02, 2015 2:15 pm – Oct 02, 2015 3:15 pm
On Oct. 1, Goran Frehse from UJF gave a lecture at the AVACS Autumn School in Oldenburg, Germany (http://www.avacs.org/autumn2015/). "Automatic Verification and Analysis of Complex Systems" is an autumn school focussing on automated formal methods in computer science and their application to the analysis and verification of complex embedded systems.
Submitted by Goran Frehse
on
Date: Oct 02, 2015 2:15 pm – Oct 02, 2015 3:15 pm
On Oct. 1, Goran Frehse from UJF gave a lecture at the AVACS Autumn School in Oldenburg, Germany (http://www.avacs.org/autumn2015/). "Automatic Verification and Analysis of Complex Systems" is an autumn school focussing on automated formal methods in computer science and their application to the analysis and verification of complex embedded systems.
Submitted by Goran Frehse
on