Skip to Main Content Area
  • CPS-VO
    • Contact Support
      
 
Not a member?
Click here to register!
Forgot username or password?
 
  • Home
  • Registration
  • Agenda
  • Submit Presentation
  • Virtual Venue
  • Files
CPS-VO » Science of Design for Societal-Scale Cyber-Physical Systems (CPS) » Workshop on Assured CPS Autonomy for 3D Urban Transportation: Drones, Flying Cars and Beyond

Visible to the public RTLola: Specifying Real-time Monitors for Unmanned Aircraft Systems

  • View
  • Formats
  • Properties
Submitted by Anonymous on Thu, 06/10/2021 - 5:58pm. Contributor:
  • Bernd Finkbeiner
License: 
Creative Commons 2.5

Other available formats:

RTLola: Specifying Real-time Monitors for Unmanned Aircraft Systems
Switch to normal viewerSwitch to experimental viewer
  • PDF document
  • 3.04 MB
  • 11 downloads
  • Download
  • PDF version
  • Printer-friendly version
  • Architectures
  • Avionics
  • Systems Engineering
  • NSF-PIRE Workshop on Assured CPS Autonomy for 3D Urban Transportation
  • 2021
  • Presentation
  • Assured Autonomy

Terms of Use  |  ©2023. CPS-VO