Parallel reachability analysis of hybrid systems in XSpeed.
Saved in:
| Title: | Parallel reachability analysis of hybrid systems in XSpeed. |
|---|---|
| Authors: | Gurung, Amit1, amitgurung@nitm.ac.in, Ray, Rajarshi1, rajarshi.ray@nitm.ac.in, Bartocci, Ezio2, ezio.bartocci@tuwien.ac.at, Bogomolov, Sergiy3, sergiy.bogomolov@anu.edu.au, Grosu, Radu2, radu.grosu@tuwien.ac.at |
| Source: | International Journal on Software Tools for Technology Transfer; Aug2019, Vol. 21 Issue 4, p401-423, 23p |
| Database: | Applied Science & Technology Source |
| ISSN: | 14332779 |
|---|---|
| DOI: | 10.1007/s10009-018-0485-6 |
