Tools for Model-Checking Timed Systems
| العنوان: | Tools for Model-Checking Timed Systems |
|---|---|
| المؤلفون: | Peter Bulychev, Paul Pettersson, Morgan Magnin, Wang Yi, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Joakim Byg, Gerd Behrmann, Didier Lime, Jiri Srba, Thomas Chatain, Olivier Roux, Alexandre David, Kenneth Y. Joergensen, Louis Marie Traonouez |
| المساهمون: | Jard, Claude, H. Roux, Olivier, Roux, Olivier H. |
| المصدر: | David, A, Behrmann, G, Bulychev, P, Byg, J, Chatain, T, Larsen, K G, Pettersson, P, Rasmussen, J I, Srba, J, Yi, W, Joergensen, K Y, Lime, D, Magnin, M, Roux, O H & Traonouez, L M 2013, Tools for Model-Checking Timed Systems . in C Jard & O H. Roux (eds), Communicating Embedded Systems: Software and Design: Formal Methods . Wiley, pp. 165-225 . https://doi.org/10.1002/9781118558188.ch6 Aalborg University David, A, Rasmussen, J I, Larsen, K G, Behrmann, G, Bulychev, P, Byg, J, Chatain, T, Pettersson, P, Srba, J, Yi, W, Jørgensen, K Y, Lime, D, Magnin, M, Roux, O H & Traonouez, L-M 2009, Tools for Model-Checking Timed Systems . in O H Roux & C Jard (eds), Communicating Embedded Systems for Computer Science . Wiley, pp. 165-225 . Communicating Embedded Systems: Software and Design: Formal Methods |
| بيانات النشر: | Wiley, 2013. |
| سنة النشر: | 2013 |
| مصطلحات موضوعية: | Model checking, business.industry, Computer science, Embedded system, ROMEO, and timed extensions, UPPAAL-CORA/-TIGA, business, TAPAAL, timed-arc Petri nets, Model-checking, and tools, UPPAAL, timed automata/symbolic |
| اللغة: | English |
| DOI: | 10.1002/9781118558188.ch6 |
| URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_dedup___::024ccdc25a469599b1dea37374607d90 https://vbn.aau.dk/da/publications/68299ca7-4fec-4b81-8eca-c6e15f5966f3 |
| Rights: | RESTRICTED |
| رقم الانضمام: | edsair.doi.dedup.....024ccdc25a469599b1dea37374607d90 |
| قاعدة البيانات: | OpenAIRE |
| DOI: | 10.1002/9781118558188.ch6 |
|---|