|
Search the dblp DataBase
Alan B. Hayes:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Tony M. Carter, Alan L. Davis, Alan B. Hayes, Gary Lindstrom, Dan Klass, Mike P. Maloney, Brent E. Nelson, Elliott I. Organick, Kent F. Smith
Transforming an Ada Program Unit to Silicon and Testing It in an Ada Environment. [Citation Graph (0, 0)][DBLP] COMPCON, 1984, pp:448-455 [Conf]
- Elliott I. Organick, Tony M. Carter, Mike P. Maloney, Alan L. Davis, Alan B. Hayes, Dan Klass, Gary Lindstrom, Brent E. Nelson, Kent F. Smith
Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A first Experiment. [Citation Graph (0, 0)][DBLP] IEEE Software, 1984, v:1, n:1, pp:31-49 [Journal]
- Alan B. Hayes
Object-Oriented Software Testing: A Hierarchical Approach, by Shel Siegel, Wiley, 1996 (Book Reviews). [Citation Graph (0, 0)][DBLP] Softw. Test., Verif. Reliab., 1997, v:7, n:1, pp:60-61 [Journal]
- Alan B. Hayes
Stored State Asynchronous Sequential Circuits. [Citation Graph (0, 0)][DBLP] IEEE Trans. Computers, 1981, v:30, n:8, pp:596-600 [Journal]
Search in 0.001secs, Finished in 0.001secs
|