| Original language | English |
|---|---|
| Journal | Journal of Universal Computer Science |
| State | Accepted/In press - 2016 |
Formalizing SysML activity diagrams using PVS
- Solomon Gebreyohannes
- , William Edmonson
- , Albert Esterline
- , M. Moscato
Research output: Contribution to journal › Article