Testing and Formal Methods - BOS Project Case Study

Wouter Geurts; K.C.J. Wijbrans; G.J. Tretmans

Testing and Formal Methods - BOS Project Case Study

Wouter Geurts
, K.C.J. Wijbrans
, G.J. Tretmans

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

159 Downloads (Pure)

Original language	English
Title of host publication	Proceedings EuroSTAR'98 - 6th European International Conference on Software Testing, Analysis & Review
Place of Publication	Munich, Germany
Publisher	EuroStar Conferences
Pages	215-229
Number of pages	15
Publication status	Published - 1998
Event	6th European International Conference on Software Testing, Analysis & Review, EuroSTAR 1998 - Munich, Germany Duration: 30 Nov 1998 → 1 Dec 1998 Conference number: 6

Conference

Conference	6th European International Conference on Software Testing, Analysis & Review, EuroSTAR 1998
Abbreviated title	EuroSTAR
Country/Territory	Germany
City	Munich
Period	30/11/98 → 1/12/98

Keywords

FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS
FMT-TESTING

Access to Document

Geurts1998testingFinal published version, 327 KB

Cite this

@inproceedings{e65c4f60a2624709bfc55d5f915f4c09,

title = "Testing and Formal Methods - BOS Project Case Study",

keywords = "FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS, FMT-TESTING",

author = "Wouter Geurts and K.C.J. Wijbrans and G.J. Tretmans",

year = "1998",

language = "English",

pages = "215--229",

booktitle = "Proceedings EuroSTAR'98 - 6th European International Conference on Software Testing, Analysis \& Review",

publisher = "EuroStar Conferences",

note = "6th European International Conference on Software Testing, Analysis \& Review, EuroSTAR 1998, EuroSTAR ; Conference date: 30-11-1998 Through 01-12-1998",

}

Geurts, W, Wijbrans, KCJ & Tretmans, GJ 1998, Testing and Formal Methods - BOS Project Case Study. in Proceedings EuroSTAR'98 - 6th European International Conference on Software Testing, Analysis & Review. EuroStar Conferences, Munich, Germany, pp. 215-229, 6th European International Conference on Software Testing, Analysis & Review, EuroSTAR 1998, Munich, Bavaria, Germany, 30/11/98.

Testing and Formal Methods - BOS Project Case Study. / Geurts, Wouter; Wijbrans, K.C.J.; Tretmans, G.J.
Proceedings EuroSTAR'98 - 6th European International Conference on Software Testing, Analysis & Review. Munich, Germany: EuroStar Conferences, 1998. p. 215-229.

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

TY - GEN

T1 - Testing and Formal Methods - BOS Project Case Study

AU - Geurts, Wouter

AU - Wijbrans, K.C.J.

AU - Tretmans, G.J.

N1 - Conference code: 6

PY - 1998

Y1 - 1998

KW - FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS

KW - FMT-TESTING

M3 - Conference contribution

SP - 215

EP - 229

BT - Proceedings EuroSTAR'98 - 6th European International Conference on Software Testing, Analysis & Review

PB - EuroStar Conferences

CY - Munich, Germany

T2 - 6th European International Conference on Software Testing, Analysis & Review, EuroSTAR 1998

Y2 - 30 November 1998 through 1 December 1998

ER -