Slide 1 Slide 2 e-learning, learning, and e Dr. Stephen Bostock Advisor for Technology and Learning Keele University, UK [email protected] Slide 3 Summary E Learning…
Slide 1 Visual Formal Methods R J Walters Slide 2 Introduction Motivation The Language The tools An example Conclusion Slide 3 Issues in large systems Connecting the parts…
Slide 1 Visual Modelling R J Walters Slide 2 Introduction Motivation The Language The tools An example Conclusion Slide 3 Issues in threaded and distributed systems Connecting…