Week 7 Lecture: Formal Methods and System Modeling

views comments

Week 7 lecture on formal methods, requirements models, and diagram types used to support system analysis, specification, and communication.