Using Architectural Runtime Verification for Offline Data Analysis

Stockmann, Lars; Laux, Sven; Bodden, Eric

doi:https://doi.org/10.2991/jase.d.210205.001

Using Architectural Runtime Verification for Offline Data Analysis (bibtex)

@article{Stockmann2021,
  title={Using Architectural Runtime Verification for Offline Data Analysis},
  author={Lars Stockmann and Sven Laux and Eric Bodden},
  year={2021},
  journal={Journal of Automotive Software Engineering},
  issn={2589-2258},
  url={https://www.bodden.de/pubs/sb21architectural.pdf},
  doi={https://doi.org/10.2991/jase.d.210205.001}
}