Skip to Main Content Area
  • CPS-VO
    • Contact Support
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation
2010 NSF CPS PI Meeting
  • Home
  • Program Agenda
  • Posters & Abstracts
  • Members
  • Registrants
  • Modboard
  • Files
CPS-VO » NSF CPS PI Meetings » 2010 NSF CPS PI Meeting

Visible to the public POSTER: Compositionality and Reconfiguration for Distributed Hybrid Systems

  • View
  • Properties
Submitted by Andre Platzer on Mon, 09/14/2015 - 1:22pm. Contributors:
  • André Platzer
  • Edmund M. Clarke
  • Sarah M. Loos
License: 
Creative Commons 2.5

Other available formats:

POSTER: Compositionality and Reconfiguration for Distributed Hybrid Systems
Switch to normal viewerSwitch to experimental viewer
  • PDF document
  • 266.82 KB
  • 61 downloads
  • Download
  • PDF version
  • Printer-friendly version
  • Automotive
  • CPS Domains
  • Hybrid Models
  • Composition
  • Semantics
  • Modeling
  • Robotics
  • Transportation
  • Validation and Verification
  • Education
  • Foundations
  • Carnegie Mellon University
  • 0931985
  • National CPS PI Meeting 2010
  • National CPS PI Meeting 2015
  • Posters
  • Academia
  • Poster

File references

This file is attached to:
  • CPS: Small: Compositionality and Reconfiguration for Distributed Hybrid Systems

Terms of Use  |  ©2023. CPS-VO