Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: John Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock

Journal title: 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering

Journal publisher: IEEE

Published year: 2015

Published pages: 40-46

DOI identifier: 10.1109/FormaliSE.2015.14

ISBN: 978-1-4673-7043-1