Detail publikace

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

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

Originální název

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

Typ

konferenční sborník (ne článek)

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

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

Autoři

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

Vydáno

9. 4. 2003

Nakladatel

University of Stirling

Místo

Huntsville, AL

ISBN

1-85769-189X

Strany počet

48

BibTex

@proceedings{BUT64117,
  editor="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",
  year="2003",
  pages="48",
  publisher="University of Stirling",
  address="Huntsville, AL",
  isbn="1-85769-189X"
}