Detail 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. Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Stirling: University of Stirling, 2004. 64 p. ISBN: 1-85769-1970.
Typ
konferenční sborník (ne stať)
Jazyk
anglicky
Autoři
Rattray Charles
Švéda Miroslav, prof. Ing., CSc., UIFS (FIT)
Rozenblit Jerzy
Abstrakt

Formal Specifications of Computer-Based Systems

Klíčová slova

Formal specification, formal semantics, verification, analysis, design

Rok
2004
Strany
64
Konference
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
ISBN
1-85769-1970
Vydavatel
University of Stirling
Místo
Stirling
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"
}
Projekty
Vestavěné řídicí systémy a jejich vzájemná komunikace, GAČR, Standardní projekty, GA102/02/1032, zahájení: 2002-01-01, ukončení: 2004-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina informačních a databázových systémů (VZ IS)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru