Inproceedings,

Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems.

, , and .
FASE, volume 14573 of Lecture Notes in Computer Science, page 77-100. Springer, (2024)

Meta data

Tags

Users

  • @dblp

Comments and Reviews