Formal Methods in System Design,volume 24,issue 3  (05-2013)

Period of time： 2013年3期

Publisher： Springer Publishing Company

Founded in： 1992

Total resources： 27

ISSN： 0925-9856

Subject： TP Automation Technology , Computer Technology

Favorite

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

Formal Methods in System Design,volume 24,issue 3

Menu

Properties of Hybrid Systems—A Computer Science Perspective

By Stauner Thomas in (2004)

Formal Methods in System Design,volume 24,issue 3 , Vol. 24, Iss. 3, 2004-05 , pp. 223-259

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Polyhedral Flows in Hybrid Automata

By Alur Rajeev,Kannan Sampath,La Torre Salvatore in (2004)

Formal Methods in System Design,volume 24,issue 3 , Vol. 24, Iss. 3, 2004-05 , pp. 261-280

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Forward Analysis of Updatable Timed Automata

By Bouyer Patricia in (2004)

Formal Methods in System Design,volume 24,issue 3 , Vol. 24, Iss. 3, 2004-05 , pp. 281-320

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 3 item(s)