Activities per year
Activities
- 3 results
Search results
-
1st International Workshop on Argument for Agreement and Assurance
Tim Kelly (Invited speaker)
2013Activity: Participating in or organising an event › Seminar/workshop/course
-
5th International Workshop on Software Engineering in Health Care (SEHC), ICSE 2013
Tim Kelly (Keynote/plenary speaker)
2013Activity: Participating in or organising an event › Seminar/workshop/course
-
Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR), SafeComp 2012
Tim Kelly (Keynote/plenary speaker)
2012Activity: Participating in or organising an event › Seminar/workshop/course