The goal of the DeSSUF project is the design, implementation, and the evaluation of the safety, security and ease-of-use of a new programming language for the IoT.
Languages, Models and Verification
The goal of the DeSSUF project is the design, implementation, and the evaluation of the safety, security and ease-of-use of a new programming language for the IoT.