( en | de | ru )

 

Disambiguierung von "Lai, Richard"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On Using Protean To Verify ISO FTAM Protocol.

, , und . CAV, Volume 531 von Lecture Notes in Computer Science, Seite 126-135. Springer, (1990)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Waltraud Lai

Eugen Lai

Mao Lai

Xin Lai

Yinchieh Lai

 

Weitere Publikationen von Autoren mit dem selben Namen

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