Výsledky vyhledávání - "Menell, R."

Akademický článek

A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220

Autor: Fecko, M.A. ^*, Uyar, M.Ü., Amer, P.D., Sethi, A.S., Dzik, T., Menell, R., McMahon, M.

Publikováno v: In Computer Communications 2000 23(12):1196-1213

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Conference

Development and application of the 188-220 protocol test tool (PTT).

Autor: Zbozny, J., Menell, R., Turczyn, S., Chinglan Lin

Publikováno v: MILCOM 97 MILCOM 97 Proceedings; 1997, Issue 3, p1492-1492, 1p

Zobrazit plný text záznamu

Conference

Formal design and testing of MIL-STD 188-220A based on Estelle.

Autor: Fecko, M.A., Amer, P.D., Sethi, A.S., Umit Uyar, M., Dzik, T., Menell, R., McMahon, M.

Publikováno v: MILCOM 97 MILCOM 97 Proceedings; 1997, Issue 2, p716-716, 1p

Zobrazit plný text záznamu

Conference

Development and application of the 188-220 protocol test tool network analyzer (PTTNA) prototype.

Autor: Zbozny, J., Keenan, J., Menell, R., Turczyn, S., Lin, C.

Publikováno v: MILCOM 1999 - IEEE Military Communications Conference Proceedings (Cat No99CH36341); 1999, Issue 2, p1026-1026, 1p

Zobrazit plný text záznamu