( en | de | ru )

 

Disambiguation of "Lai, Richard"

Author of the publication

copydeleteadd this publication to your clipboard
On Using Protean To Verify ISO FTAM Protocol.

, , and . CAV, volume 531 of Lecture Notes in Computer Science, page 126-135. Springer, (1990)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Waltraud Lai

Mao Lai

Eugen Lai

Xin Lai

Yinchieh Lai

 

Other publications of authors with the same name

Some Maintainability Metrics for a Communication Protocol Specified in Estell., and . COMPSAC, page 218-227. IEEE Computer Society, (1998)Estimating the size of an Estelle specification for a communication protocol., and . COMPSAC, page 565-568. IEEE Computer Society, (1997)Special issue on the best papers of QSIC 2009., and . J. Syst. Softw., 84 (4): 527 (2011)Design and Analysis of Broadband Dual-Gate Balanced Low-Noise Amplifiers., , , , , and . IEEE J. Solid State Circuits, 42 (10): 2107-2115 (2007)An Analysis of the ISO FTAM Basic File Protocol Specified in LOTOS., and . Aust. Comput. J., 27 (1): 1-8 (1995)When to stop testing: A study from the perspective of software reliability models., , and . IET Softw., 5 (3): 263-273 (2011)Measuring the Maintainability of a Communication Protocol Based on Its Formal Specification., and . IEEE Trans. Software Eng., 29 (4): 327-344 (2003)Advanced MMIC for Passive Millimeter and Submillimeter Wave Imaging., , , and . ISSCC, page 572-622. IEEE, (2007)A Semi-Automatic Implementation of ISO Virtual Terminal Protocol., and . ULPAA, volume C-25 of IFIP Transactions, page 183-196. Elsevier, (1994)Novel W-band monolithic push-pull power amplifiers., , , , and . IEEE J. Solid State Circuits, 30 (10): 1055-1061 (October 1995)