Conference proceedings

RATTRAY Charles, ŠVÉDA Miroslav and ROZENBLIT Jerzy, ed. Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Washington D.C.: University of Stirling, 2001. ISBN 1-85-769144-X.
Publication language:english
Original title:Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Pages:150
Conference:The 2nd IEEE/IFIP Joint Workshop on Formal Specification of Computer-Based Systems, FSCBS'2001
Series:Procedings of the University of Stirling
Place:Washington D.C., US
Year:2001
ISBN:1-85-769144-X
Publisher:University of Stirling
Keywords
formal specifications, computer-based systems, hardware/software systems specification
Annotation
The proceedings presents 21 papers accepted for the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, held in Washington D.C., USA, April 20, 2001.
BibTeX:
@PROCEEDINGS{
   editor = {Charles Rattray and Miroslav {\v{S}}v{\'{e}}da and Jerzy
	Rozenblit},
   title = {Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint
	Workshop on Formal Specifications of Computer-Based Systems},
   pages = {150},
   series = {Procedings of the University of Stirling},
   year = {2001},
   location = {Washington D.C., US},
   publisher = {University of Stirling},
   ISBN = {1-85-769144-X},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6516}
}

Your IPv4 address: 54.81.6.121
Switch to IPv6 connection

DNSSEC [dnssec]