EmergencyDecisionSystem
A 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.
A 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.
A 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.