Author: Sergiy Boroday
Publications
Publication period start: 2003
Number of co-authors: 3
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
Publications
Ulrich, Andreas, Hallal, Hesham, Petrenko, Alexandre, Boroday, Sergiy (2003): Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysi. In: HICSS 2003 , 2003, . pp. 337. https://csdl.computer.org/comp/proceedings/hicss/2003/1874/09/187490337babs.htm