CHECKIT
Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab CHECKIT CHECKIT: New Extensions of Formal Methods in Modelling, Verification, Synthesis and Optimization of Embedded and Mobile Communication Systems: Application of Certification of LTE Protocols Computer systems are gradually replacing tasks that due to its critical nature have been conducted manually. This explosion of new […]