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

Project Details

Status	Active
Effective start/end date	1/08/20 → 31/07/21