Publication detail

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

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

Original Title

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

English Title

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

Type

conference paper

Language

en

Original Abstract

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

English abstract

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

Keywords

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

RIV year

2002

Released

01.01.2002

Location

Orlando, USA

ISBN

0-7456-1547-2

Book

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

Pages from

156

Pages to

317

Pages count

162

BibTex


@inproceedings{BUT4986,
  author="Radimír {Vrba} and Miroslav {Švéda}",
  title="Embedded System Formal Specifications Reuse by a Case-Based Reasoning Approach",
  annote="Embedded System Formal Specifications Reuse by a Case-Based Reasoning Approach",
  booktitle="Proceedings of the 6th World Multi-Conference on SYSTEMICS, CYBERNETICS AND INFORMATICS",
  chapter="4986",
  year="2002",
  month="january",
  pages="156",
  type="conference paper"
}