Detail publikačního výsledku

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

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

Anglický název

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

Druh

Konferenční sborník (ne stať)

Originální abstrakt

The proceedings presents 12 papers accepted for the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, held in Lund, Sweden, April 10-11, 2002.

Anglický abstrakt

The proceedings presents 12 papers accepted for the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, held in Lund, Sweden, April 10-11, 2002.

Klíčová slova

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

Klíčová slova v angličtině

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

Autoři

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

Vydáno

09.04.2002

Nakladatel

University of Stirling

Místo

Lund

ISBN

1-85769-169-5

Strany počet

102

BibTex

@proceedings{BUT64035,
  editor="Charles {Rattray} and Miroslav {Švéda} and Jerzy {Rozenblit}",
  title="IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems",
  year="2002",
  pages="102",
  publisher="University of Stirling",
  address="Lund",
  isbn="1-85769-169-5"
}