Conference proceedings

 
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, p. 102, ISBN 1-85769-169-5
Publication language:english
Original title:IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Title (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
Pages:102
Conference:IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Place:Lund, SE
Year:2002
ISBN:1-85769-169-5
Publisher:University of Stirling
Keywords
formal specifications, computer-based systems, hardware/software systems specification
Annotation
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.
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}
}