Author: Walter Hussak
Publications
Co-authors
Productive Colleagues
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