Open dinitto opened 1 month ago
Course code, if applicable: 054443 University hosting the course: Politecnico di Milano Contact person: Elisabetta Di Nitto & Matteo Camilli & Matteo Giovanni Rossi, elisabetta.dinitto@polimi.it;matteo.camilli@polimi.it;matteo.rossi@polimi.it Concepts taught: Distributed Systems,Linear Temporal Logic (LTL),Modelling,Software Architecture,Software Verification,Specification Tools used: Alloy,UML Webpage: https://www4.ceda.polimi.it/manifesti/manifesti/controller/ManifestoPublic.do?EVN_DETTAGLIO_RIGA_MANIFESTO=evento
Thanks for your contribution, @dinitto!
The link provided is not working. Do you have an alternative link?
Course code, if applicable: 054443 University hosting the course: Politecnico di Milano Contact person: Elisabetta Di Nitto & Matteo Camilli & Matteo Giovanni Rossi, elisabetta.dinitto@polimi.it;matteo.camilli@polimi.it;matteo.rossi@polimi.it Concepts taught: Distributed Systems,Linear Temporal Logic (LTL),Modelling,Software Architecture,Software Verification,Specification Tools used: Alloy,UML Webpage: https://www4.ceda.polimi.it/manifesti/manifesti/controller/ManifestoPublic.do?EVN_DETTAGLIO_RIGA_MANIFESTO=evento