Qualitative Action Systems

Bernhard Aichernig; Harald Brandl; Willibald Karl Krenn

doi:10.1007/978-3-642-10373-5_11

Qualitative Action Systems

Bernhard Aichernig, Harald Brandl, Willibald Karl Krenn

Institut für Softwaretechnologie (7160)

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

Originalsprache	englisch
Titel	Formal Methods and Software Engineering
Erscheinungsort	Berlin [u.a.]
Herausgeber (Verlag)	Springer
Seiten	206-225
Band	5885
ISBN (Print)	978-3-642-10372-8
DOIs	https://doi.org/10.1007/978-3-642-10373-5_11
Publikationsstatus	Veröffentlicht - 2009
Veranstaltung	International Conference on Formal Engineering Methods - Rio de Janeiro, Brasilien Dauer: 9 Dez. 2009 → 11 Dez. 2009

Publikationsreihe

Name	Lecture notes in computer science
Herausgeber (Verlag)	Springer

Konferenz

Konferenz	International Conference on Formal Engineering Methods
Land/Gebiet	Brasilien
Ort	Rio de Janeiro
Zeitraum	9/12/09 → 11/12/09

Treatment code (Nähere Zuordnung)

Theoretical

Zugriff auf Dokument

10.1007/978-3-642-10373-5_11

Andere Dateien und Links

http://www.springerlink.com/content/c248rr3r5q684215/

EU-MOGENTES - Model-based Generation of Tests for Dependable Embedded Systems
Brandl, H., Krenn, W. K. & Aichernig, B.
1/01/08 → 31/12/10
Projekt: Forschungsprojekt

Dieses zitieren

@inproceedings{7fd77ccf4c1f4593bbec893653a45ea8,

title = "Qualitative Action Systems",

author = "Bernhard Aichernig and Harald Brandl and Krenn, {Willibald Karl}",

year = "2009",

doi = "10.1007/978-3-642-10373-5_11",

language = "English",

isbn = "978-3-642-10372-8",

volume = "5885",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "206--225",

booktitle = "Formal Methods and Software Engineering",

note = "International Conference on Formal Engineering Methods ; Conference date: 09-12-2009 Through 11-12-2009",

}

TY - GEN

T1 - Qualitative Action Systems

AU - Aichernig, Bernhard

AU - Brandl, Harald

AU - Krenn, Willibald Karl

PY - 2009

Y1 - 2009

UR - http://www.springerlink.com/content/c248rr3r5q684215/

U2 - 10.1007/978-3-642-10373-5_11

DO - 10.1007/978-3-642-10373-5_11

M3 - Conference paper

SN - 978-3-642-10372-8

VL - 5885

T3 - Lecture notes in computer science

SP - 206

EP - 225

BT - Formal Methods and Software Engineering

PB - Springer

CY - Berlin [u.a.]

T2 - International Conference on Formal Engineering Methods

Y2 - 9 December 2009 through 11 December 2009

ER -

Qualitative Action Systems

Publikationsreihe

Konferenz

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Andere Dateien und Links

Projekte

EU-MOGENTES - Model-based Generation of Tests for Dependable Embedded Systems

Dieses zitieren