Laboratoire Méthodes Formelles (LMF)
… comme outil d’analyse, de modélisation et de raisonnement pour les programmes informatiques, les protocoles de sécurité, etc. Il s'appuie … 69 : Engineering 7 : Physics and Astronomy 7 : Decision Sciences 7 : Arts and Humanities 5 : Biochemistry, Genetics …
Published on: