|
|||||
|
|
Hybrid process algebra |
|
| Authors: | P.J.L. Cuijpers M.A. Reniers |
| Affiliation: | Eindhoven University of Technology (TU/e), Den Dolech 2, Eindhoven 5600 MB, The Netherlands |
| Abstract: | |
| Keywords: | Hybrid systems Process algebra Flows Discrete events Hybrid interaction Discontinuities |
| 本文献已被 ScienceDirect 等数据库收录！ | |