Tempo 技术手册说明书.pdf

DesAutomEmbedSyst

DOI10.1007/s10617-008-9022-2

SpecifyingandprovingpropertiesoftimedI/Oautomata

usingTempo

MylaArcher·HongpingLim·NancyLynch·

SayanMitra·ShinyaUmeno

Received:13November2006/Accepted:29April2008

©Springer-Verlag2008

AbstractTimedI/Oauto

文档评论(0)

1亿VIP精品文档

相关文档