Travelled to:1 × Italy
Collaborated with:K.Thramboulidis D.Soliman Jiafeng Zhang H.Li Z.Li
Talks about:shortest (1) industri (1) sequenc (1) program (1) process (1) toward (1) system (1) safeti (1) linear (1) condit (1)
Person: Georg Frey
DBLP: Frey:Georg
Contributed to:
20112018Wrote 2 papers:
- CASE-2011-ThramboulidisSF #automation #industrial #process #safety #towards #verification
- Towards an automated verification process for industrial safety applications (KT, DS, GF), pp. 482–487.
- CASE-2018-ZhangLFL #integer #linear #programming #sequence #using
- Shortest Legal Firing Sequence of Net Condition/Event Systems Using Integer Linear Programming (JZ, HL, GF, ZL), pp. 1556–1561.