11th workshop on RTL and high level testing , 2010-12-05

Title : ( Transaction Level Formal Verification using Timed Automata )

Authors: Amirali Ghofrani , Fatemeh Javaheri , Hamid Noori , Zainalabedin Navabi ,

Access to full-text not allowed by authors

Citation: BibTeX | EndNote

In this paper a form al methodo logy is proposed to verify TLM

Keywords

forma l verification; t imed automata; transaction
برای دانلود از شناسه و رمز عبور پرتال پویا استفاده کنید.

@inproceedings{paperid:1026388,
author = {Amirali Ghofrani and Fatemeh Javaheri and Noori, Hamid and Zainalabedin Navabi},
title = {Transaction Level Formal Verification using Timed Automata},
booktitle = {11th workshop on RTL and high level testing},
year = {2010},
location = {Shanghai},
keywords = {forma l verification; t imed automata; transaction levelmodeling},
}

[Download]

%0 Conference Proceedings
%T Transaction Level Formal Verification using Timed Automata
%A Amirali Ghofrani
%A Fatemeh Javaheri
%A Noori, Hamid
%A Zainalabedin Navabi
%J 11th workshop on RTL and high level testing
%D 2010

[Download]