|
|
|
Size
|
BCS-FACS/FME Evening Seminar by Prof. Jan Broenink: Embedded Control Software Design with Formal Methods and Engineering Models,13 September 2010
|
Paul Boca |
Tue, 31 Aug 2010 23:14:59 +0100 |
67 lines |
November seminar
|
John Cooke |
Thu, 26 Aug 2010 10:08:07 +0100 |
6269 lines |
and the time is ... (FACS/LMS seminar)
|
John Cooke |
Tue, 24 Aug 2010 08:13:46 +0100 |
30 lines |
FACS/LMS seminar, November
|
John Cooke |
Mon, 23 Aug 2010 08:49:37 +0100 |
93 lines |
FACS AGM + Evening seminar: 13 September, 5pm - 5.55pm (AGM), 6pm-7.30pm (Seminar)
|
Paul Boca |
Tue, 3 Aug 2010 21:47:31 +0100 |
124 lines |
Semantic Issues in VDM: a BCS-FACS and Overture Workshop (Call for Participation)
|
Paul Boca |
Tue, 3 Aug 2010 21:37:26 +0100 |
390 lines |