HYTECH: a model checker for hybrid systems 论文

1997International Journal on Software Tools for Technology Transfer引用 775
DOI
Formal Methods in VerificationSoftware Testing and Debugging TechniquesModel-Driven Software Engineering Techniques
企业软件Model-Driven Software Engineering TechniquesFormal Methods in VerificationSoftware Testing and Debugging Techniques
相关技术:Model-Driven Software Engineering TechniquesFormal Methods in Verification
关系图谱

HYTECH: a model checker for hybrid systems · 作者

H

Howard Wong-Toi

P

Pei-Hsin Ho

T

Thomas A. Henzinger