Travelled to:1 × USA
Collaborated with:L.Zou M.Fränzle N.Zhan
Talks about:differenti (1) automat (1) stabil (1) safeti (1) verif (1) equat (1) delay (1)
Person: Peter Nazier Mosaad
DBLP: Mosaad:Peter_Nazier
Contributed to:
2015Wrote 1 papers:
- CAV-2015-ZouFZM #automation #difference #equation #safety #verification
- Automatic Verification of Stability and Safety for Delay Differential Equations (LZ, MF, NZ, PNM), pp. 338–355.