High-Assurance Systems (HASE)
HASE 2012: Omaha, NE, USA
14th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2012, Omaha, NE, USA, October 25-27, 2012. IEEE Computer Society 2012 ISBN 978-1-4673-4742-6 [ contents ]
HASE 2011: Boca Raton, FL, USA
- Taghi M. Khoshgoftaar (Ed.): 13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011. IEEE Computer Society 2011 ISBN 978-1-4673-0107-7 [ contents ]
HASE 2010: San Jose, CA, USA
- 12th IEEE High Assurance Systems Engineering Symposium, HASE 2010, San Jose, CA, USA, November 3-4, 2010. IEEE Computer Society 2010 ISBN 978-1-4244-9091-2 [ contents ]
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 2000: Albuquerque, NM, USA
- 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings. IEEE Computer Society 2000 ISBN 0-7695-0927-4 [ 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 ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team