Lower and upper bounds in zone-based abstractions of timed automata

Author： Behrmann Gerd   Bouyer Patricia   Larsen Kim   Pelánek Radek  

Publisher： Springer Publishing Company

ISSN： 1433-2779

Source： International Journal on Software Tools for Technology Transfer, Vol.8, Iss.3, 2006-06, pp. : 204-215

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

Related content

Decision problems for lower/upper bound parametric timed automata

By Bozzelli Laura   La Torre Salvatore  

Formal Methods in System Design, Vol. 35, Iss. 2, 2009-10 ,pp. : 121-151

Springer Publishing Company

Access to resources Recommend Favorite

Lower and Upper Bounds for Misclassification Probability Based on Renyi's Information

By  

Journal of VLSI Signal Processing, Vol. 37, Iss. 2-3, 2004-06 ,pp. : 305-317

Springer Publishing Company

Access to resources Recommend Favorite

New upper bounds to the limitedness of distance automata

By Hashiguchi K.  

Theoretical Computer Science, Vol. 233, Iss. 1, 2000-02 ,pp. : 19-32

Elsevier

Access to resources Recommend Favorite

Upper and lower bounds of op-code probabilities for Edgebreaker

By Cho Cheol-Hyung   Kim Deok-Soo   Cho Youngsong   Ryu Joonghyun  

International Journal of Computational Science and Engineering, Vol. 3, Iss. 1, 2007-07 ,pp. : 23-28

Inderscience Publishers

Access to resources Recommend Favorite

Upper and Lower Bounds on the Learning Curve for Gaussian Processes

By Williams C.K.I.  

Machine Learning, Vol. 40, Iss. 1, 2000-07 ,pp. : 77-102

Springer Publishing Company

Access to resources Recommend Favorite