Lecture notes - TOC
March 8, 20071 Dynamic Fault Tree analysis using Input/Output Interactive Markov Chains Hichem Boudali, Pepijn Crouzen, and Mariëlle Stoelinga. Formal.
Introduction to XAML and WPF
xaml overview
1. XAML & WPF - Introduction to XAML and WPF
Concurrency: monitors & condition synchronization ©Magee/Kramer Claus Brabrand [email protected] University of Aarhus Monitors and Condition Synchronization.
© De Montfort University, 20011 Design Process Howell Istance Department of Computer Science De Montfort University.
Component-based design and connector synthesis (Lecture 2)
1 Non-interference Properties for Probabilistic Processes A Process Algebraic Approach Alessandro Aldini joint work with Mario Bravetti and Roberto Gorrieri.
2 April, 2008AADL/UML workshop - Belfast1 Arcade: A formal, extensible, model-based dependability evaluation framework Hichem Boudali 1, Pepijn Crouzen.
Parallel Programming Abstractions
Chapter 8 Asynchronous System Model by Mikhail Nesterenko “Distributed Algorithms” by Nancy A. Lynch.