CIn-TRUST
CIn-TRUST
About
People
Projects
Collaborations
Contact
PISH -- Integrated Software and Hardware Design | Concluded in 1997
The main goal of this project is to develop a CAD system that supports the design of complex digital systems composed of software and hardware components.
Provably Correct Systems | Concluded in 1997
This project is dedicated to cover the entire development process for critical embedded systems, from the original capture of requirements to the computers and special-purpose hardware on which the developed programs run.
«