Alan R. Flora-Holmquist

According to our database, Alan R. Flora-Holmquist authored at least 3 papers between 1995 and 1997.

Collaborative distances:

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

1997

The virtual finite-state machine design and implementation paradigm.

Alan R. Flora-Holmquist, Edward Morton, James D. O'Grady, Mark G. Staskauskas

Bell Labs Tech. J., 1997

1995

Experiences in applying formal methods to the analysis of software and system requirements.

David Hamilton, Richard Covington, John Kelly, Carron Kirkwood, Muffy Thomas, Alan R. Flora-Holmquist, Mark G. Staskauskas, Steven P. Miller, Mandayam K. Srivas, George Cleland, Donald MacKenzie

Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995

Formal validation of virtual finite state machines.

Alan R. Flora-Holmquist, Mark G. Staskauskas

Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995