|
|||||
|
|
Uppaal in a nutshell |
|
| Authors: | Kim G Larsen Paul Pettersson Wang Yi |
| Affiliation: | (1) Department of Computer Science and Mathematics, Aalborg University, Denmark; E-mail: kgl@cs.auc.dk, DK;(2) Department of Computer Systems, Uppsala University, Sweden; E-mail: {paupet,yi}@docs.uu.se, SE |
| Abstract: | |
| Keywords: | : Modeling real-time systems – Dynamic modeling – Modeling tools – Uppaal |
| 本文献已被 SpringerLink 等数据库收录！ | |