Conformance Testing of Hybrid Systems with Qualitative Reasoning Models

Bernhard Aichernig; Harald Brandl; Franz Wotawa

Conformance Testing of Hybrid Systems with Qualitative Reasoning Models

Institute of Software Engineering and Artificial Intelligence (7160)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Model-Based Testing, MBT
Herausgeber (Verlag)	Elsevier B.V.
Seiten	53-69
Band	253
Publikationsstatus	Veröffentlicht - 2009
Veranstaltung	5th Workshop on Model-Based Testing: MBT 2009 - York, Großbritannien / Vereinigtes Königreich Dauer: 22 März 2009 → 22 März 2009

Publikationsreihe

Name	Electronic Notes in Theoretical Computer Science
Herausgeber (Verlag)	Elsevier

Workshop

Workshop	5th Workshop on Model-Based Testing
Land/Gebiet	Großbritannien / Vereinigtes Königreich
Ort	York
Zeitraum	22/03/09 → 22/03/09

Treatment code (Nähere Zuordnung)

Theoretical
Experimental

Andere Dateien und Links

http://react.cs.uni-sb.de/mbt2009/

EU-MOGENTES - Modellbasierte Testgenerierung für zuverlässige eingebettete Systeme
Brandl, H. (Teilnehmer / Mitarbeiter), Krenn, W. K. (Teilnehmer / Mitarbeiter) & Aichernig, B. (Projektleiter)
1/01/08 → 31/12/10
Projekt: Forschungsprojekt

Dieses zitieren

@inproceedings{bc77fe44fdf7449581093d838d9f6a53,

title = "Conformance Testing of Hybrid Systems with Qualitative Reasoning Models",

author = "Bernhard Aichernig and Harald Brandl and Franz Wotawa",

note = "im Rahmen der ETAPS 2009; 5th Workshop on Model-Based Testing : MBT 2009 ; Conference date: 22-03-2009 Through 22-03-2009",

year = "2009",

language = "English",

volume = "253",

series = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier B.V.",

pages = "53--69",

booktitle = "Model-Based Testing, MBT",

address = "Netherlands",

}

TY - GEN

T1 - Conformance Testing of Hybrid Systems with Qualitative Reasoning Models

AU - Aichernig, Bernhard

AU - Brandl, Harald

AU - Wotawa, Franz

N1 - im Rahmen der ETAPS 2009

PY - 2009

Y1 - 2009

UR - http://react.cs.uni-sb.de/mbt2009/

M3 - Conference paper

VL - 253

T3 - Electronic Notes in Theoretical Computer Science

SP - 53

EP - 69

BT - Model-Based Testing, MBT

PB - Elsevier B.V.

T2 - 5th Workshop on Model-Based Testing

Y2 - 22 March 2009 through 22 March 2009

ER -

Conformance Testing of Hybrid Systems with Qualitative Reasoning Models

Publikationsreihe

Workshop

Treatment code (Nähere Zuordnung)

Andere Dateien und Links

Projekte

EU-MOGENTES - Modellbasierte Testgenerierung für zuverlässige eingebettete Systeme

Dieses zitieren