Symbolic synthesis for cyber-physical systems - Archive ouverte HAL Access content directly
Book Sections Year : 2017
No file

Dates and versions

hal-01620555 , version 1 (20-10-2017)

Identifiers

  • HAL Id : hal-01620555 , version 1

Cite

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⟩
216 View
0 Download

Share

Gmail Facebook X LinkedIn More