Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
742 KB, PDF document
677 KB, PDF document
757 KB, PDF document
Title of host publication | 15th International Conference on Formal Aspects of Component Software |
---|---|
Date | Accepted/In press - 8 Aug 2018 |
Date | Published (current) - 5 Oct 2018 |
Pages | 137-155 |
Number of pages | 18 |
Publisher | Springer |
Editors | Peter Csaba Ölveczky, Kyungmin Bae |
Original language | English |
ISBN (Print) | 9783030021450 |
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 11222 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
© This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details
Research output: Non-textual form › Software
Activity: Participating in or organising an event › Seminar/workshop/course
Project: Research project (funded) › Research
Find related publications, people, projects, datasets and more using interactive charts.