A Bigraph-Based Construction Tool for Correct-by-Design IoT

Project Details

StatusActive
Effective start/end date1/08/2031/07/21