SetExp : a method of transformation of timed automata into finite state automata

Author: Ouedraogo Lucien  

Publisher: Springer Publishing Company

ISSN: 0922-6443

Source: Real-Time Systems, Vol.46, Iss.2, 2010-10, pp. : 189-250

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract