Test Case Derivation from LOTOS Specifications

G.J. Tretmans

Test Case Derivation from LOTOS Specifications

G.J. Tretmans

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Formal Description Techniques, II
Subtitle of host publication	Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989
Publisher	North Holland
Pages	345-359
Number of pages	15
ISBN (Print)	0-444-88544-7
Publication status	Published - 5 Dec 1989
Event	2nd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 1989 - Vancouver, Canada Duration: 5 Dec 1989 → 8 Dec 1989 Conference number: 2

Conference

Conference	2nd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 1989
Abbreviated title	FORTE
Country/Territory	Canada
City	Vancouver
Period	5/12/89 → 8/12/89

1 Report

Test Case Derivation from LOTOS Specifications
Tretmans, G. J., 1990, Enschede: University of Twente. 15 p. (Memoranda informatica; no. 90-21)
Research output: Book/Report › Report › Professional

Cite this

@inproceedings{f66cada39e354a9c9fc21c3fc1b66cab,

title = "Test Case Derivation from LOTOS Specifications",

author = "G.J. Tretmans",

year = "1989",

month = dec,

day = "5",

language = "English",

isbn = "0-444-88544-7",

pages = "345--359",

booktitle = "Formal Description Techniques, II",

publisher = "North Holland",

address = "Netherlands",

note = "2nd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 1989, FORTE ; Conference date: 05-12-1989 Through 08-12-1989",

}

Tretmans, GJ 1989, Test Case Derivation from LOTOS Specifications. in Formal Description Techniques, II: Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989. North Holland, pp. 345-359, 2nd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 1989, Vancouver, British Columbia, Canada, 5/12/89.

Test Case Derivation from LOTOS Specifications. / Tretmans, G.J.
Formal Description Techniques, II: Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989. North Holland, 1989. p. 345-359.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Test Case Derivation from LOTOS Specifications

AU - Tretmans, G.J.

N1 - Conference code: 2

PY - 1989/12/5

Y1 - 1989/12/5

M3 - Conference contribution

SN - 0-444-88544-7

SP - 345

EP - 359

BT - Formal Description Techniques, II

PB - North Holland

T2 - 2nd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 1989

Y2 - 5 December 1989 through 8 December 1989

ER -