Refusal Testing for Classes of Transition Systems with Inputs and Outputs

T. Mizuno; A.W. Heerink; G.J. Tretmans; N. Shiratori; T. Higashino; A. Togashi

Refusal Testing for Classes of Transition Systems with Inputs and Outputs

T. Mizuno (Editor)
, A.W. Heerink
, G.J. Tretmans
, N. Shiratori (Editor)
, T. Higashino (Editor)
, A. Togashi (Editor)

Research output: Contribution to conference › Paper › peer-review

120 Downloads (Pure)

Original language	Undefined
Pages	23-38
Number of pages	16
Publication status	Published - 1997
Event	17th International Symposium on Protocol Specification, Testing, and Verification, PSTV 1997 - Osaka, Japan Duration: 1 Jan 1997 → 1 Jan 1997 Conference number: 17

Conference

Conference	17th International Symposium on Protocol Specification, Testing, and Verification, PSTV 1997
Abbreviated title	PSTV 1997
Country/Territory	Japan
City	Osaka
Period	1/01/97 → 1/01/97

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 7 Affordable and Clean Energy

Keywords

FMT-TESTING
IR-63298
EWI-6479

Access to Document

250_HeTr97

Cite this

@conference{532b3c83956b4d038b6a533d47a0a5e0,

title = "Refusal Testing for Classes of Transition Systems with Inputs and Outputs",

keywords = "FMT-TESTING, IR-63298, EWI-6479",

author = "T. Mizuno and A.W. Heerink and G.J. Tretmans and N. Shiratori and T. Higashino and A. Togashi",

year = "1997",

language = "Undefined",

pages = "23--38",

note = "17th International Symposium on Protocol Specification, Testing, and Verification, PSTV 1997 ; Conference date: 01-01-1997 Through 01-01-1997",

}

TY - CONF

T1 - Refusal Testing for Classes of Transition Systems with Inputs and Outputs

AU - Heerink, A.W.

AU - Tretmans, G.J.

A2 - Mizuno, T.

A2 - Shiratori, N.

A2 - Higashino, T.

A2 - Togashi, A.

N1 - Conference code: 17

PY - 1997

Y1 - 1997

KW - FMT-TESTING

KW - IR-63298

KW - EWI-6479

M3 - Paper

SP - 23

EP - 38

T2 - 17th International Symposium on Protocol Specification, Testing, and Verification, PSTV 1997

Y2 - 1 January 1997 through 1 January 1997

ER -