Armando Lazzaro
According to our database1,
Armando Lazzaro
authored at least 3 papers
between 2005 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
2006
Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006
2005
The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System.
Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005