Detail výsledku

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

VRBA, R., ŠVÉDA, M. Embedded System Formal Specifications Reuse by a Case-Based Reasoning Approach. In Proceedings of the 6th World Multi-Conference on SYSTEMICS, CYBERNETICS AND INFORMATICS. Orlando, USA: 2002. 162 p. ISBN: 0-7456-1547-2.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Vrba Radimír, prof. Ing., CSc.
Švéda Miroslav, prof. Ing., CSc.
Abstrakt

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

Klíčová slova

Embedded System, Formal Specification, Reuse, Case-Based Reasoning Approach

Rok
2002
Strany
162
Sborník
Proceedings of the 6th World Multi-Conference on SYSTEMICS, CYBERNETICS AND INFORMATICS
Konference
The 6th World Multi-Conference on Systemics, Cybernetics and Informatics
ISBN
0-7456-1547-2
Místo
Orlando, USA
BibTeX 
@inproceedings{BUT4986,
  author="Radimír {Vrba} and Miroslav {Švéda}",
  title="Embedded System Formal Specifications Reuse by a Case-Based Reasoning Approach",
  booktitle="Proceedings of the 6th World Multi-Conference on SYSTEMICS, CYBERNETICS AND INFORMATICS",
  year="2002",
  pages="162",
  address="Orlando, USA",
  isbn="0-7456-1547-2"
}
Pracoviště
Ústav mikroelektroniky (UMEL)
Nahoru