TTM4115 Reading material
The reading material included in the syllabus will be linked (or referenced) from the see the schedule page.
Here is some useful background material:
Manna, Pnueli; Reactive systems
Royce: The waterfall (process) model
The reading material included in the syllabus will be linked (or referenced) from the see the schedule page.
Here is some useful background material:
Manna, Pnueli; Reactive systems
Royce: The waterfall (process) model