Pessoa: MATLAB Toolbox for the synthesis of correct-by-design embedded control software.

Downloads for Windows, Mac and Linux, with documentation, publications and links.

62 clicks (last 30 days)

Descriptions and Ratings (1)

Date Contributor Description Rating
Please login to add a description or rating.

Contact us