Asymmetric Timed Refinement for Correct Post-Deployment Updates in Real-Time Systems

Published September 14, 2026 | Version v1

Conference paper Open

Files

Name	Size
RTWBS.pdf md5:a0381207cd703f143d3040965bf0e503	699.3 kB	Preview Download

Views

Downloads

Show more details

DOI

Resource type

Conference paper

Publisher

Zenodo

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more