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

Project: Internal Research Project

Project Details

Fund Amount (RMB)

52000.00
Project CategoryRDF
StatusNot started