YS Yaroslav Usenko
Publications by Year
Research Areas
Formal Methods in Verification, Natural Language Processing Techniques, Advanced Software Engineering Methodologies, Business Process Modeling and Analysis, Petri Nets in System Modeling
Most-Cited Works
- → The Formal Specification Language mCRL2(2007)128 cited
- A comparative reliability analysis of ETCS train radio communications(2005)
- → Linearization in muCRL(2002)1 cited