Author: Sergiy Boroday
Publication Overview
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