Robert de B. Johnston
According to our database1,
Robert de B. Johnston
authored at least 7 papers
between 1987 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2011
Proceedings of the 12th International Workshop on Microprocessor Test and Verification, 2011
Proceedings of the 12th International Workshop on Microprocessor Test and Verification, 2011
2010
Applying Model-Checking to Post-Silicon-Verification: Bridging the Specification-Realisation Gap.
Proceedings of the ReConFig'10: 2010 International Conference on Reconfigurable Computing and FPGAs, 2010
Proceedings of the 11th International Workshop on Microprocessor Test and Verification, 2010
1997
A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997
1990
An Approach to Specifying and Synthesizing Communicating Processes.
Proceedings of the Formal Description Techniques, 1990
1987
IEEE Trans. Software Eng., 1987