James Armstrong

According to our database, James Armstrong authored at least 5 papers between 1979 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1998

An Experimental Study of Social and Psychological Aspects of Teleworking: The Implications for Tele-Education.

Dave J. Hobbs, James Armstrong

Proceedings of WebNet 98, 1998

1996

Specification and Verification of Reactive System Behaviour: The Railroad Crossing Example.

James Armstrong, Leonor Barroca

Real Time Syst., 1996

1990

The VHDL Validation Suite.

James Armstrong, Chang Cho, Sandeep Shah, Chakravarthy Kosaraju

Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, 1990

1988

Diagnostic algorithms and clinical diagnostic thinking.

Joseph M. Tonkonogy, James Armstrong

Proceedings of the First Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'88), 1988

1979

Assertional checking and symbolic execution: An effective combination for debugging.

J. Mack Adams, James Armstrong, Melissa Smartt

Proceedings of the 1979 Annual Conference, Detroit, Michigan, USA, October 29-31, 1979., 1979