Skip to Main content Skip to Navigation
Book sections

Symbolic synthesis for cyber-physical systems

Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01620555
Contributor : Antoine Girard <>
Submitted on : Friday, October 20, 2017 - 4:54:54 PM
Last modification on : Saturday, May 1, 2021 - 3:49:32 AM

Identifiers

  • HAL Id : hal-01620555, version 1

Citation

Matthias Rungger, Antoine Girard, Paulo Tabuada. Symbolic synthesis for cyber-physical systems. Raj Rajkumar; Dionisio de Niz; Mark Klein. Cyber-Physical Systems, Addison Wesley, 2017, SEI Series in Software Engineering. ⟨hal-01620555⟩

Share

Metrics

Record views

350