Kniha

 
Rattray, C., ©véda, M.: Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Napier University, Edinburgh, GB, IEEE CS, 2000, s. 85, ISBN 1-85-769121-0
Jazyk publikace:angličtina
Název publikace:Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Název (cs):Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Strany:85
Řada knih:Procedings of University of Stirling
Místo vydání:Napier University, Edinburgh, GB
Rok:2000
ISBN:1-85-769121-0
Vydavatel:IEEE Computer Society
Klíčová slova
formal specifications, verification, computer-based systems, embedded systems
Anotace
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é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}
}