Research
LMF - the new IT laboratory on campus!
… new IT laboratory on campus! Research The “Laboratoire méthodes formelles” (Formal methods laboratory) (LMF - Université … in research into the safety and security of IT systems using mathematical tools. It aims to share its methods of … at the “ Laboratoire de recherche en informatique ” (Computer Science Research Laboratory) (LRI - Université …
Published on: