|
|||||
|
|
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic |
|
| Authors: | Ničković Dejan Lebeltel Olivier Maler Oded Ferrère Thomas Ulus Dogan |
| Affiliation: | 1.AIT Austrian Institute of Technology, Seibersdorf, Austria ;2.Verimag, CNRS/University of Grenoble-Alpes, Grenoble, France ;3.IST Austria, Klosterneuburg, Austria ;4.Boston University, Boston, USA ; |
| Abstract: | International Journal on Software Tools for Technology Transfer - We introduce in this paper $$text {AMT} ; 2.0$$ , a tool for qualitative and quantitative analysis of hybrid continuous and... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |