Transforming Vhdl To Timed Automata
Loading...
Files
Date
Authors
Ayav, Tolga
Tuğlular, Tuğkan
Belli, Fevzi
Journal Title
Journal ISSN
Volume Title
Publisher
Open Access Color
OpenAIRE Downloads
OpenAIRE Views
Abstract
This report presents the transformation of behavioral VHDL programs to Timed Automata.
Description
Technical Report No: IYTE-COMPENG-2015-001
Keywords
VHDL, Timed automata
