Formalizing UML State Machines for Automated Verification - A Survey.
| Autor: | ANDRÉ, ÉTIENNE1 eandre93430@lipn13.fr, SHUANG LIU2 liushuangcs@gmail.com, YANG LIU3 yangliu@ntu.edu.sg, CHOPPY, CHRISTINE4 christine.choppy@lipn.univ-paris13.fr, JUN SUN5 junsun@smu.edu.sg, JIN SONG DONG6 dongjs@comp.nus.edu.sg |
|---|---|
| Zdroj: | ACM Computing Surveys. 2023 Suppl13s, Vol. 55, p1-47. 47p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|