Publication detail

Proceedings IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems

RATTRAY, C., ŠVÉDA, M., ROZENBLIT, J.

Original Title

Proceedings IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems

English Title

Proceedings IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems

Type

conference proceedings

Language

en

Original Abstract

The proceedings presents 6 papers accepted for the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, held in Huntsville, AL, USA, April 9-10, 2003.

English abstract

The proceedings presents 6 papers accepted for the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, held in Huntsville, AL, USA, April 9-10, 2003.

Keywords

formal specifications, computer-based systems, hardware/software systems specification

Released

09.04.2003

Publisher

University of Stirling

Location

Huntsville, AL

ISBN

1-85769-189X

Pages count

48

Documents

BibTex


@proceedings{BUT64117,
  author="Charles {Rattray} and Miroslav {Švéda} and Jerzy {Rozenblit}",
  title="Proceedings IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems",
  annote="The proceedings presents 6 papers accepted for the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, held in Huntsville, AL, USA, April 9-10, 2003.",
  address="University of Stirling",
  chapter="64117",
  institution="University of Stirling",
  year="2003",
  month="april",
  pages="0",
  publisher="University of Stirling",
  type="conference proceedings"
}