MCLab becomes RAISE

Details
Category: News
Last Updated on Wednesday, 21 February 2024 17:13

The Model Checking lab becomes RAISE: Research lab in Artificial Intelligence for Systems Engineering.

Please check out our new website

https://raise.uniroma1.it/

The present site may be outdated and will be dismissed soon.