Author: Walter Hussak

Publications

Publication period start: 2000
Number of co-authors: 1

Co-authors

Number of publications with favourite co-authors
John A. Keane
3

Productive Colleagues

Most productive colleagues in number of publications
John A. Keane
5

Publications

Hussak, Walter, Keane, John A. (1999): Formal Analysis of Memory Requirements. In Requir. Eng., 4 (4) pp. 188-197. https://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. . https://

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