Detail publikace

Embedded System Formal Specifications Reuse by a Case-Based Reasoning Approach

ŠVÉDA Miroslav a VRBA Radimír. Embedded System Formal Specifications Reuse by a Case-Based Reasoning Approach. In: Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics, 2002, Vol. I. Orlando: The International Institute of Informatics and Systemics, 2003, s. 157-162. ISBN 980-07-8150-1.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
Vrba Radimír, prof. Ing., CSc. (STI VUT)
Rok
2003
Strany
157-162
Sborník
Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics, 2002, Vol. I
Konference
The 6th World Multi-Conference on Systemics, Cybernetics and Informatics, Orlando - Florida, US
ISBN
980-07-8150-1
Vydavatel
The International Institute of Informatics and Systemics
Místo
Orlando, US
BibTeX 
@INPROCEEDINGS{FITPUB7125,
   author = "Miroslav \v{S}v\'{e}da and Radim\'{i}r Vrba",
   title = "Embedded System Formal Specifications Reuse by a Case-Based Reasoning Approach",
   pages = "157--162",
   booktitle = "Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics, 2002, Vol. I",
   year = 2003,
   location = "Orlando, US",
   publisher = "The International Institute of Informatics and Systemics",
   ISBN = "980-07-8150-1",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7125"
}
Nahoru