Author: Walter Hussak
Publication Overview
Publication period start: 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
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