Evolving critical systems - Track introduction

Mike Hinchey; Tiziana Margaria

doi:10.1007/978-3-662-45234-9_1

Evolving critical systems - Track introduction

University of Potsdam

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

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings
Editors	Tiziana Margaria, Tiziana Margaria, Bernhard Steffen
Publisher	Springer Verlag
Pages	1-3
Number of pages	3
ISBN (Electronic)	9783662452332
DOIs	https://doi.org/10.1007/978-3-662-45234-9_1
Publication status	Published - 2014
Event	6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 - Imperial, Corfu, Greece Duration: 8 Oct 2014 → 11 Oct 2014

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8802
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014
Country/Territory	Greece
City	Imperial, Corfu
Period	8/10/14 → 11/10/14

Access to Document

10.1007/978-3-662-45234-9_1

Cite this

Hinchey, M., & Margaria, T. (2014). Evolving critical systems - Track introduction. In T. Margaria, T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings (pp. 1-3). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8802). Springer Verlag. https://doi.org/10.1007/978-3-662-45234-9_1

Hinchey, Mike ; Margaria, Tiziana. / Evolving critical systems - Track introduction. Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings. editor / Tiziana Margaria ; Tiziana Margaria ; Bernhard Steffen. Springer Verlag, 2014. pp. 1-3 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{262f5b4162934f2da14e6b2ef65e7ca3,

title = "Evolving critical systems - Track introduction",

author = "Mike Hinchey and Tiziana Margaria",

year = "2014",

doi = "10.1007/978-3-662-45234-9_1",

language = "English",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "1--3",

editor = "Tiziana Margaria and Tiziana Margaria and Bernhard Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings",

note = "6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 ; Conference date: 08-10-2014 Through 11-10-2014",

}

Hinchey, M & Margaria, T 2014, Evolving critical systems - Track introduction. in T Margaria, T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8802, Springer Verlag, pp. 1-3, 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, Imperial, Corfu, Greece, 8/10/14. https://doi.org/10.1007/978-3-662-45234-9_1

Evolving critical systems - Track introduction. / Hinchey, Mike ; Margaria, Tiziana.
Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings. ed. / Tiziana Margaria; Tiziana Margaria; Bernhard Steffen. Springer Verlag, 2014. p. 1-3 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8802).

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

TY - GEN

T1 - Evolving critical systems - Track introduction

AU - Hinchey, Mike

AU - Margaria, Tiziana

PY - 2014

Y1 - 2014

UR - http://www.scopus.com/inward/record.url?scp=84910641610&partnerID=8YFLogxK

U2 - 10.1007/978-3-662-45234-9_1

DO - 10.1007/978-3-662-45234-9_1

M3 - Conference contribution

AN - SCOPUS:84910641610

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 1

EP - 3

BT - Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer Verlag

T2 - 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014

Y2 - 8 October 2014 through 11 October 2014

ER -

Hinchey M , Margaria T. Evolving critical systems - Track introduction. In Margaria T, Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings. Springer Verlag. 2014. p. 1-3. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-662-45234-9_1

Evolving critical systems - Track introduction

Publication series

Conference

Access to Document

Other files and links

Cite this