Travelled to:
1 × Italy
Collaborated with:
K.Thramboulidis G.Frey
Talks about:
industri (1) process (1) toward (1) safeti (1) applic (1) verif (1) autom (1)
Person: Doaa Soliman
DBLP: Soliman:Doaa
Contributed to:
Wrote 1 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.