Back to Results
First PageMeta Content
Systems science / Systems engineering / Software engineering / Formal methods / Systems theory / Theoretical computer science / Model checkers / Software quality / Model checking / PRISM model checker / Reliability engineering / Formal verification


Quantitative Verification Formal Guarantees for Timeliness, Reliability and Performance A Knowledge Transfer Report from the London Mathematical Society and Smith Institute for Industrial Mathematics and System Engineeri
Add to Reading List

Document Date: 2014-08-21 17:03:14


Open Document

File Size: 1,56 MB

Share Result on Facebook
UPDATE