Hesham Hallal

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
2003
Publication period end
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. http://csdl.computer.org/comp/proceedings/hicss/2003/1874/09/187490337babs.htm