Runtime Verification of Contracts with Themulus

von Garcia, Alberto Aranda
Veröffentlicht in SEFM (18. : 2020 : Online) Software engineering and formal methods (2020)

Themulus: A Timed Contract-calculus

von García, Alberto Aranda
Veröffentlicht in MODELSWARD (8. : 2020 : Valletta) MODELSWARD 2020 (2020)