Conference
Formal Methods Meet Autonomous Systems: A Journey on A Two-Year Research Collaboration with Industry
Authors
Menghi C
Editors
Sekerinski E; Moreira N; Oliveira JN; Ratiu D; Guidotti R; Farrell M; Luckcuck M; Marmsoler D; Campos J; Astarte T
Series
Lecture Notes in Computer Science
Volume
12232
Pagination
pp. 212-213
Publisher
SPRINGER INTERNATIONAL PUBLISHING AG
Publication Date
2020
ISBN-13
978-3-030-54993-0
Name of conference
3rd World Congress on Formal Methods (FM)
Conference place
PORTUGAL, Porto
Conference start date
October 7, 2019
Conference end date
October 11, 2019
Conference proceedings
FORMAL METHODS. FM 2019 INTERNATIONAL WORKSHOPS, PT I
ISSN
0302-9743