Formal Modeling and Analysis of Medical Systems.

Mahsa Zarneshan, Fatemeh Ghassemi, Marjan Sirjani

Browse the full Coordination paper archive.