Walter Hussak

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1996
Publication period end
2000
Number of co-authors
1

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Keane, John A., Hussak, Walter (2000): A Method of Verification in Design. In: HICSS 2000 , 2000, . http://csdl.computer.org/comp/proceedings/hicss/2000/0493/08/04938009abs.htm

Hussak, Walter, Keane, John A. (1999): Formal Analysis of Memory Requirements. In Requir. Eng., 4 (4) pp. 188-197. http://springerlink.metapress.com/openurl.asp?genre=article&issn=1432-010X&volume=4&issue=4&spage=188

Hussak, Walter, Keane, John A. (1996): Expressing Requirements on a Parallel System Formally. In Requir. Eng., 1 (4) pp. . http://