Travelled to:1 × Germany
Collaborated with:S.Gnesi D.Latella G.Lenzini C.Abbaneo P.Marmo
Talks about:byzantin (1) presenc (1) system (1) specif (1) formal (1) critic (1) valid (1) error (1)
Person: Arturo M. Amendola
DBLP: Amendola:Arturo_M=
Contributed to:
2000Wrote 1 papers:
- TACAS-2000-GnesiLLAAM #fault #specification #validation
- A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors (SG, DL, GL, CA, AMA, PM), pp. 535–549.