1995 |
4 | EE | David C. Luckham,
John J. Kenney,
Larry M. Augustin,
James Vera,
Doug Bryan,
Walter Mann:
Specification and Analysis of System Architecture Using Rapide.
IEEE Trans. Software Eng. 21(4): 336-355 (1995) |
3 | EE | David C. Luckham,
John J. Kenney,
Larry M. Augustin,
James Vera,
Doug Bryan,
Walter Mann:
Specification and Analysis of System Architecture Using Rapide.
IEEE Trans. Software Eng. 21(6): 576 (1995) |
1993 |
2 | EE | David C. Luckham,
James Vera,
Doug Bryan,
Larry M. Augustin,
Frank C. Belz:
Partial orderings of event sets and their application to prototyping concurrent, timed systems.
Journal of Systems and Software 21(3): 253-265 (1993) |
1988 |
1 | EE | Larry M. Augustin,
Benoit A. Gennart,
Youm Huh,
David C. Luckham,
Alec G. Stanculescu:
Verification of VHDL Designs Using VAL.
DAC 1988: 48-53 |