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.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool