tiagoc / emergencydecisionsystem Goto Github PK
View Code? Open in Web Editor NEWA VDM++ system to help managing emergency calls, designed with INEM (http://www.inem.pt/CODU) protocols in mind. For a Formal Methods in Software Engineering college class.