Detail publikačního výsledku

Proceedings of the 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 of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems

Anglický název

Proceedings of the 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

Formal Specifications of Computer-Based Systems

Anglický abstrakt

Formal Specifications of Computer-Based Systems

Klíčová slova

Formal specification, formal semantics, verification, analysis, design

Klíčová slova v angličtině

Formal specification, formal semantics, verification, analysis, design

Autoři

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

Vydáno

21.05.2004

Nakladatel

University of Stirling

Místo

Stirling

ISBN

1-85769-1970

Strany počet

64

BibTex

@proceedings{BUT64179,
  editor="Charles {Rattray} and Miroslav {Švéda} and Jerzy {Rozenblit}",
  title="Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems",
  year="2004",
  pages="64",
  publisher="University of Stirling",
  address="Stirling",
  isbn="1-85769-1970"
}