tag : A&A ReSpecT
2
talk
ReSpecT in the A&A Perspective (Weekly aliCE Meetings, 23/05/2008) — Matteo Casadei (Andrea Omicini, Matteo Casadei) The Role of Formal Methods in Modeling and Simulating Today's Distributed Software Systems (Final Report about the First Two Years of Matteo Casadei's Phd Course, 06/11/2007) — Matteo Casadei (Matteo Casadei)