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

23 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
UdgivelsesstedBerlin
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

Citationsformater