High-Assurance Systems (HASE)

HASE 2008: Nanjing, China

11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008. IEEE Computer Society 2008
Contents

HASE 2007: Dallas, Texas, USA

Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA. IEEE Computer Society 2007
Contents

HASE 2005: Heidelberg, Germany

Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 12-14 October 2005, Heidelberg, Germany. IEEE Computer Society 2005, ISBN 0-7695-2377-3
Contents

HASE 2004: Tampa, FL, USA

8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 25-26 March 2004, Tampa, FL, USA. IEEE Computer Society 2004, ISBN 0-7695-2094-4
Contents

HASE 2002: Tokyo, Japan

7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan. IEEE Computer Society 2002, ISBN 0-7695-1769-2
Contents

HASE 2001: Albuquerque, NM, USA

6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings. IEEE Computer Society 2001, ISBN 0-7695-1275-5
Contents

HASE 1999: Washington, D.C., USA

4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 17-19 November 1999, Washington, D.C, USA, Proceedings. IEEE Computer Society 1999, ISBN 0-7695-0418-3
Contents

HASE 1998: Washington, D.C., USA

3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 13-14 November 1998, Washington, D.C, USA, Proceedings. IEEE Computer Society 1998, ISBN 0-8186-9221-9
Contents

HASE 1997: Washington, D.C., USA

2nd High-Assurance Systems Engineering Workshop (HASE '97), August 11-12, 1997, Washington, DC, USA, Proceedings. IEEE Computer Society 1997, ISBN 0-8186-7971-9
Contents

HASE 1996: Niagara, Canada

1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings. IEEE Computer Society 1996
Contents