|
|||||
|
|
Statistical model checking QoS properties of systems with SBIP |
|
| Authors: | Ayoub Nouri Saddek Bensalem Marius Bozga Benoit Delahaye Cyrille Jegourel Axel Legay |
| Affiliation: | 1. UJF-Grenoble 1/CNRS VERIMAG UMR 5104, Grenoble, 38041, France 2. LINA/Université de Nantes, Nantes, France 3. INRIA/IRISA, Rennes, France |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |