Conference proceedings

RATTRAY Charles, ŠVÉDA Miroslav and ROZENBLIT Jerzy, ed. IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Lund: University of Stirling, 2002. 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{S}}v{\'{e}}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}
}

Your IPv4 address: 54.81.210.99
Switch to IPv6 connection

DNSSEC [dnssec]