dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

HASE 2008: Nanjing, China

11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008. IEEE Computer Society 2008
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

HASE 1996: Niagara, Canada

1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings. IEEE Computer Society 1996
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Last update Wed May 22 04:45:35 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page