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