tag : A&A ReSpecT

2 talk
page_white_powerpoint ReSpecT in the A&A Perspective (Weekly aliCE Meetings, 23/05/2008) — Matteo Casadei (Andrea Omicini, Matteo Casadei)
page_white_powerpoint 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)

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY