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.