Konferenční sborník

 
Rattray, C., Švéda, M., Rozenblit, J. (editors): IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Lund, SE, US, 2002, s. 102, ISBN 1-85769-169-5
Jazyk publikace:angličtina
Název publikace:IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Název (cs):IEEE TC-ECBS a IFIP WG10.1 společný workshop o formálních specifikacíh systémů založených na počítačích
Strany:102
Konference:IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Místo vydání:Lund, SE
Rok:2002
ISBN:1-85769-169-5
Vydavatel:University of Stirling
Klíčová slova
formal specifications, computer-based systems, hardware/software systems specification
Anotace
Sborník prezentuje 12 příspěvků přijatých pro IEEE TC-ECBS a IFIP WG10.1 společný workshop o formálních specifikacíh systémů založených na počítačích, který se konal v Lundu, ve Švédsku, 10-11 dubna 2002.
BibTeX:
@PROCEEDINGS{
   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},
   pages = {102},
   year = {2002},
   location = {Lund, SE},
   publisher = {University of Stirling},
   ISBN = {1-85769-169-5},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6894}
}