首页 /研究 /The Symbolic Approach to Hybrid Systems
OTHER

The Symbolic Approach to Hybrid Systems

Thomas A. Henzinger

发表年份
2002
引用次数
2
访问权限
开放获取

关键词

Hybrid systemComponent (thermodynamics)Computer scienceTheoretical computer scienceDiscretizationDynamical systems theoryState (computer science)Finite-state machineSequence (biology)Concurrency

相关论文

查看 OTHER 分类全部论文