Travelled to:
1 × USA
Collaborated with:
J.Greenyer
Talks about:
scenario (1) symbol (1) specif (1) realiz (1) execut (1) check (1) base (1)
Person: Timo Gutjahr
DBLP: Gutjahr:Timo
Contributed to:
Wrote 1 papers:
- MoDELS-2017-GreenyerG #execution #specification #symbolic computation
- Symbolic Execution for Realizability-Checking of Scenario-Based Specifications (JG, TG), pp. 312–322.