Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Checking -- Quantitative risk assessment of safety-critical systems via guided simulation for rare events
View Other Search Results
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
-- Towards a Flexible Assessment of Climate Impacts: The Example of Agile Workflows for the ci:grasp Platform
View Other Search Results