Validation of reactive embedded systems against specification requirements
Abstract
In this paper a method of automatic generation of test scenarios for verification of specification requirements (temporal and functional) for reactive embedded systems is presented.
Full Text:
PDFDOI: http://dx.doi.org/10.17951/ai.2004.2.1.173-182
Date of publication: 2015-01-04 00:00:00
Date of submission: 2016-04-27 10:11:12
Statistics
Total abstract view - 452
Downloads (from 2020-06-17) - PDF - 0
Indicators
Refbacks
- There are currently no refbacks.
Copyright (c) 2015 Annales UMCS Sectio AI Informatica
This work is licensed under a Creative Commons Attribution 4.0 International License.