Detail publikačního výsledku

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

VRBA, R., ŠVÉDA, M.

Originální název

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

Anglický název

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

Druh

Stať ve sborníku v databázi WoS či Scopus

Originální abstrakt

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

Anglický abstrakt

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

Klíčová slova

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

Klíčová slova v angličtině

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

Autoři

VRBA, R., ŠVÉDA, M.

Vydáno

01.01.2002

Místo

Orlando, USA

ISBN

0-7456-1547-2

Kniha

Proceedings of the 6th World Multi-Conference on SYSTEMICS, CYBERNETICS AND INFORMATICS

Strany od

156

Strany počet

162

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"
}