Probabilistic analysis of safety-critical adaptive systems with temporal dependences

Rasmus Adler, Dominik J. Domis, Marc Förster, Mario Trapp

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations

Fingerprint

Dive into the research topics of 'Probabilistic analysis of safety-critical adaptive systems with temporal dependences'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Engineering