Andrew C. Sammut

According to our database, Andrew C. Sammut authored at least 1 paper in 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Runtime Verification for Stream Processing Applications.

Christian Colombo, Gordon J. Pace, Luke Camilleri, Claire Dimech, Reuben A. Farrugia, Jean-Paul Grech, Alessio Magro, Andrew C. Sammut, Kristian Zarb Adami

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016