Concepedia

YS Yaroslav Usenko

YY

Statistics

Publications

2

Citations

145

H-Index

2

Active since

2005

Affiliations

Eindhoven University of Technology(Current)

YS Yaroslav Usenko is an author at Eindhoven University of Technology specializing in formal methods, computing, and distributed systems.

Publications per year

2005–2007

2

Publications

2

The Formal Specification Language mCRL2

Jan Friso Groote, Michel Reniers, YS Yaroslav Usenko et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2007 · 129 citations · Full text

, , +17

A comparative reliability analysis of ETCS train radio communications

Holger Hermanns, D.N. Jansen, YS Yaroslav Usenko · University of Twente Research Information · 2005 · 16 citations · Full text

, , +16

1–2 of 2