Result Details

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

RATTRAY, C.; ŠVÉDA, M.; ROZENBLIT, J. IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Lund: University of Stirling, 2002. 102 p. ISBN: 1-85769-169-5.
Type
conference proceedings
Language
English
Authors
Rattray Charles
Švéda Miroslav, prof. Ing., CSc.
Rozenblit Jerzy
Abstract

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.

Keywords

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

Published
2002
Pages
102
Conference
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
ISBN
1-85769-169-5
Publisher
University of Stirling
Place
Lund
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"
}
Projects
Embedded Control Systems and their Inter-Communication, GACR, Standardní projekty, GA102/02/1032, start: 2002-01-01, end: 2004-12-31, completed
Research groups
Supercomputing Technologies Research Group SC@FIT (RG SC@FIT)
Departments
Faculty of Information Technology (FIT)
Back to top