Conference proceedings

RATTRAY Charles, ŠVÉDA Miroslav and ROZENBLIT Jerzy, ed. Proceedings IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Huntsville, AL: University of Stirling, 2003. ISBN 1-85769-189X.
Publication language:english
Original title:Proceedings 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:48
Conference:IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Place:Huntsville, AL, US
Year:2003
ISBN:1-85769-189X
Publisher:University of Stirling
Keywords
formal specifications, computer-based systems, hardware/software systems specification
Annotation
The proceedings presents 6 papers accepted for the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, held in Huntsville, AL, USA, April 9-10, 2003.
BibTeX:
@PROCEEDINGS{
   editor = {Charles Rattray and Miroslav {\v{S}}v{\'{e}}da and Jerzy
	Rozenblit},
   title = {Proceedings IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on
	Formal Specifications of Computer-Based Systems},
   pages = {48},
   year = {2003},
   location = {Huntsville, AL, US},
   publisher = {University of Stirling},
   ISBN = {1-85769-189X},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7156}
}

Your IPv4 address: 54.147.40.153
Switch to IPv6 connection

DNSSEC [dnssec]