Logics and Languages for Reliability and Security
Logics and Languages for Reliability and SecurityJavier Esparza
Sign up to use
Logics and Languages for Reliability and Security

Logics and Languages for Reliability and Security

Sign up to use
Sign up to use
Software-intensive systems are today an integral part of many everyday products. Whilst they provide great benefits regarding ease of use and allow for new applications, they also impose enormous responsibilities. It is vital to ensure that such applicati