View:
Show Author | Hide Author
LISTSERV Archives
PROCOS Home
Subscribe or Unsubscribe
Log In
Get Password
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
68 lines
CfPart ICGT and SPIN (Early Reg. Deadline), 27 Sep - 2 Oct 2010 at University of Twente, The Netherlands
Eduardo Zambon
Mon, 16 Aug 2010 13:47:19 +0200
77 lines
Call for Participation: ATVA 2010, 21st - 24th Singapore
jun sun
Fri, 6 Aug 2010 22:50:54 +0800
246 lines
Semantic Issues in VDM - Overture/BCS FACS workshop, London, 13 September 2010
Jonathan Bowen
Tue, 3 Aug 2010 20:51:41 +0100
200 lines
Advanced Options
For help and support help@jisc.ac.uk