An Integrated Methodology for the Modeling, Analysis and Development of Sensor Networks Using Formal Methods

Man, Ka Lok (PI)

Department of Computing

Project: Internal Research Project

Fund Amount (RMB)

52000.00

Project Category	RDF-A
Status	Not started