Runtime Verification of Biological Systems

Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

22 Citationer (Scopus)
OriginalsprogDansk
TitelLeveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Antal sider17
Vol/bind7609
Udgivelses stedBerlin
ForlagSpringer
Publikationsdato2012
Sider388-404
ISBN (Trykt)978-3-642-34025-3
ISBN (Elektronisk)978-3-642-34026-0
DOI
StatusUdgivet - 2012
BegivenhedLeveraging Applications of Formal Methods, Verification and Validation: Applications and Case Studies - Amirandes Hotel, Heraclion, Crete, Grækenland
Varighed: 14 okt. 201219 okt. 2012

Konference

KonferenceLeveraging Applications of Formal Methods, Verification and Validation
LokationAmirandes Hotel
LandGrækenland
ByHeraclion, Crete
Periode14/10/201219/10/2012
NavnLecture Notes in Computer Science
Vol/bind7609
ISSN0302-9743

Citer dette

David, A., Larsen, K. G., Legay, A., Mikucionis, M., Poulsen, D. B., & Sedwards, S. (2012). Runtime Verification of Biological Systems. I Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I (Bind 7609, s. 388-404). Berlin: Springer. Lecture Notes in Computer Science, Bind. 7609 https://doi.org/10.1007/978-3-642-34026-0_29
David, Alexandre ; Larsen, Kim Guldstrand ; Legay, Axel ; Mikucionis, Marius ; Poulsen, Danny Bøgsted ; Sedwards, Sean. / Runtime Verification of Biological Systems. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Bind 7609 Berlin : Springer, 2012. s. 388-404 (Lecture Notes in Computer Science, Bind 7609).
@inproceedings{39379ea9b8364f96893b934d52b92d94,
title = "Runtime Verification of Biological Systems",
author = "Alexandre David and Larsen, {Kim Guldstrand} and Axel Legay and Marius Mikucionis and Poulsen, {Danny B{\o}gsted} and Sean Sedwards",
year = "2012",
doi = "10.1007/978-3-642-34026-0_29",
language = "Dansk",
isbn = "978-3-642-34025-3",
volume = "7609",
pages = "388--404",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change",
publisher = "Springer",
address = "Tyskland",

}

David, A, Larsen, KG, Legay, A, Mikucionis, M, Poulsen, DB & Sedwards, S 2012, Runtime Verification of Biological Systems. i Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. bind 7609, Springer, Berlin, Lecture Notes in Computer Science, bind 7609, s. 388-404, Heraclion, Crete, Grækenland, 14/10/2012. https://doi.org/10.1007/978-3-642-34026-0_29

Runtime Verification of Biological Systems. / David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel; Mikucionis, Marius; Poulsen, Danny Bøgsted; Sedwards, Sean.

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Bind 7609 Berlin : Springer, 2012. s. 388-404 (Lecture Notes in Computer Science, Bind 7609).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - Runtime Verification of Biological Systems

AU - David, Alexandre

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Mikucionis, Marius

AU - Poulsen, Danny Bøgsted

AU - Sedwards, Sean

PY - 2012

Y1 - 2012

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

U2 - 10.1007/978-3-642-34026-0_29

DO - 10.1007/978-3-642-34026-0_29

M3 - Konferenceartikel i proceeding

SN - 978-3-642-34025-3

VL - 7609

SP - 388

EP - 404

BT - Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

PB - Springer

CY - Berlin

ER -

David A, Larsen KG, Legay A, Mikucionis M, Poulsen DB, Sedwards S. Runtime Verification of Biological Systems. I Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Bind 7609. Berlin: Springer. 2012. s. 388-404. (Lecture Notes in Computer Science, Bind 7609). https://doi.org/10.1007/978-3-642-34026-0_29