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
Type
conference paper
Language
English
Original Abstract
Embedded System Formal Specifications Reuse by a Case-Based Reasoning Approach
Keywords
Embedded System, Formal Specification, Reuse, Case-Based Reasoning Approach
Authors
VRBA, R., ŠVÉDA, M.
RIV year
2002
Released
1. 1. 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",
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"
}