| 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