Inproceedings,

All-at-once-synthesis of controllers from scenario-based product line specifications.

, , , , and .
SPLC, page 26-35. ACM, (2015)

Meta data

Tags

Users

  • @mabed
  • @dblp

Comments and Reviews