A Framework for Verification of Software with Time and Probabilities
Data and Resources
Additional Info
| Field | Value |
|---|---|
| Source | 8th International Conference on Formal Modelling and Analysis of Timed Systems |
| Author | Kwiatkowska, Marta, Norman, Gethin, Parker, David |
| Maintainer | CCSD |
| Last Updated | May 30, 2026, 00:52 (UTC) |
| Created | May 30, 2026, 00:52 (UTC) |
| Identifier | hal-00767473 |
| Language | en |
| Rights | https://about.hal.science/hal-authorisation-v1/ |
| contributor | Department of Computer Science [Oxford] ; University of Oxford |
| coverage | Klosterneuburg, Austria |
| creator | Kwiatkowska, Marta |
| date | 2010-09-08T00:00:00 |
| harvest_object_id | e06241fc-ddf7-41c0-87d2-84ee573f14d1 |
| harvest_source_id | 3374d638-d20b-4672-ba96-a23232d55657 |
| harvest_source_title | test moissonnage SELUNE |
| metadata_modified | 2025-04-14T00:00:00 |
| relation | info:eu-repo/grantAgreement//231167/EU/Emergent Connectors for Eternal Software Intensive Networked Systems/CONNECT |
| set_spec | type:COMM |