Runtime Verification of Biological Systems

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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

25 Citations (Scopus)
Original languageDanish
Title of host publicationLeveraging 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
Number of pages17
Volume7609
Place of PublicationBerlin
PublisherSpringer
Publication date2012
Pages388-404
ISBN (Print)978-3-642-34025-3
ISBN (Electronic)978-3-642-34026-0
DOIs
Publication statusPublished - 2012
EventLeveraging Applications of Formal Methods, Verification and Validation: Applications and Case Studies - Amirandes Hotel, Heraclion, Crete, Greece
Duration: 14 Oct 201219 Oct 2012

Conference

ConferenceLeveraging Applications of Formal Methods, Verification and Validation
LocationAmirandes Hotel
Country/TerritoryGreece
CityHeraclion, Crete
Period14/10/201219/10/2012
SeriesLecture Notes in Computer Science
Volume7609
ISSN0302-9743

Cite this