Tag Archive | Analysis
ROCKS Autumn School
Registration is open for the ROCKS Autumn School on Rigorous Dependability Analysis for Stochastic Systems. Registration deadline: July 15, 2012.
Paper accepted
Our paper “Some Like It Very Hot: Formal Modeling and Analysis of Extreme Heat Exposure to the Human Body in HI-Maude“ was accepted at WRLA’12.