James Armstrong

Publication Activity (10 Years)

Years Active: 1979-1998
Publications (10 Years): 0

Publications

Dave J. Hobbs, James Armstrong
An Experimental Study of Social and Psychological Aspects of Teleworking: The Implications for Tele-Education. WebNet (1998)
James Armstrong, Leonor Barroca
Specification and Verification of Reactive System Behaviour: The Railroad Crossing Example. Real Time Syst. 10 (2) (1996)
James Armstrong, Chang Cho, Sandeep Shah, Chakravarthy Kosaraju
The VHDL Validation Suite. DAC (1990)
Joseph M. Tonkonogy, James Armstrong
Diagnostic algorithms and clinical diagnostic thinking. CBMS (1988)
J. Mack Adams, James Armstrong, Melissa Smartt
Assertional checking and symbolic execution: An effective combination for debugging. ACM Annual Conference (1979)