Book

RATTRAY Charles and ŠVÉDA Miroslav. Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Napier University, Edinburgh: IEEE Computer Society, 2000. ISBN 1-85-769121-0.
Publication language:english
Original title:Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Title (cs):Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Pages:85
Series:Procedings of University of Stirling
Place:Napier University, Edinburgh, GB
Year:2000
ISBN:1-85-769121-0
Publisher:IEEE Computer Society
Keywords
formal specifications, verification, computer-based systems, embedded systems
Annotation
The proceedings presents 17 papers accepted for presentation at the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, held in Edinburgh, Scotland, April 6-7, 2000.
BibTeX:
@BOOK{
   author = {Charles Rattray and Miroslav {\v{S}}v{\'{e}}da},
   title = {Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1
	Joint Workshop on Formal Specifications of Computer-Based
	Systems},
   pages = {85},
   series = {Procedings of University of Stirling},
   year = {2000},
   location = {Napier University, Edinburgh, GB},
   publisher = {IEEE Computer Society},
   ISBN = {1-85-769121-0},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6510}
}

Your IPv4 address: 54.221.93.187
Switch to IPv6 connection

DNSSEC [dnssec]