![]() |
| The IET is a world leading professional organisation sharing and advancing knowledge to promote science, engineering and technology across the world. |
| UML interaction model-driven runtime verification of Java programs |
| X. Li |
| IET Software(2011), 5(2):142 |
| http://dx.doi.org/10.1049/iet-sen.2009.0009 |