Travelled to:
1 × France
Collaborated with:
A.G.Veneris
Talks about:
methodolog (1) function (1) unreach (1) rectif (1) state (1) space (1) autom (1)
Person: Ryan Berryhill
DBLP: Berryhill:Ryan
Contributed to:
Wrote 1 papers:
- DATE-2015-BerryhillV #automation #functional
- Automated rectification methodologies to functional state-space unreachability (RB, AGV), pp. 1401–1406.