Compositional Specifications for ioco Testing

Dejan Nickovic (Vortragende:r), Przemyslaw Daca, Thomas Henzinger, Willibald Krenn

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

Konferenz	ICST 2014
Zeitraum	31/03/14 → 4/04/14

Research Field

@inproceedings{d53a9362f8f0403aa1d7334f0243b2bc,

title = "Compositional Specifications for ioco Testing",

author = "Dejan Nickovic and Przemyslaw Daca and Thomas Henzinger and Willibald Krenn",

year = "2014",

language = "English",

isbn = "978-0-7695-5185-2",

pages = "373--382",

booktitle = "ICST 2014",

note = "ICST 2014 ; Conference date: 31-03-2014 Through 04-04-2014",

}