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

Institute of Software Technology (7160)

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

Original language	English
Title of host publication	Formal Methods and Software Engineering
Place of Publication	Berlin [u.a.]
Publisher	Springer
Pages	206-225
Volume	5885
ISBN (Print)	978-3-642-10372-8
DOIs	https://doi.org/10.1007/978-3-642-10373-5_11
Publication status	Published - 2009
Event	International Conference on Formal Engineering Methods - Rio de Janeiro, Brazil Duration: 9 Dec 2009 → 11 Dec 2009

Publication series

Name	Lecture notes in computer science
Publisher	Springer

Conference

Conference	International Conference on Formal Engineering Methods
Country/Territory	Brazil
City	Rio de Janeiro
Period	9/12/09 → 11/12/09

Treatment code (Nähere Zuordnung)

Theoretical

Access to Document

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

Cite this

@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

Publication series

Conference

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

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

Cite this

Qualitative Action Systems

Publication series

Conference

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Projects

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

Cite this