| Topic | (Click to Download Power Point Slides) |
| Introduction | lecture 1 |
| Operations | lecture 2 |
| Robustness, composition, preconditions | lecture 3 |
| Process Algebra | lecture 4 |
| Process Algebra | lecture 5 |
| Process Algebra | lecture 6 |
| Process Algebra | lecture 7 |
| An industrial FSP variant: SDL | lecture 8 |
| SDL, MSC and the Tau tool | lecture 9 |
| SDL, MSC and the Tau tool | lecture 10 |
Formal Methods for Software Engineering
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment