AutoDrive Project

Menu
  • Home
  • News
  • Project
    • Supply Chains
    • Project Consortium
    • Project Map
    • Dissemination
    • Publications
  • ECA2030
  • Videos
  • Coordinator
  • Impressum
  • search

AutoDrive Project

  • Home
  • News
  • Project
    • Supply Chains
    • Project Consortium
    • Project Map
    • Dissemination
    • Publications
  • ECA2030
  • Videos
  • Coordinator
  • Impressum
  • search

2018 An Algebraic Framework for Runtime Verification

Published in:      

Authors: Stefan Jakšic; Ezio Bartocci, Radu Grosu, and Dejan Ničkovic

Partner: AIT

Year of publication: 2018

Place of publication: Podebrady, Czech Republic

visit

© 2022 AutoDrive - Project