Daniela Remenska, profile picture

Daniela Remenska

Sort by
NASA Formal Methods Symposium
Using Model Checking to Analyze the System Behavior of the LHC Production Grid