Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings / edited by Alessandro Abate, Gilles Geeraerts.

Format:

Book

Contributor:

Abate, Alessandro, editor.

Geeraerts, Gilles, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 10419.

Theoretical Computer Science and General Issues ; 10419

Language:

English

Subjects (All):

Algorithms.

Software engineering.

Programming languages (Electronic computers).

Computer simulation.

Computer logic.

Logic, Symbolic and mathematical.

Algorithm Analysis and Problem Complexity.

Software Engineering.

Programming Languages, Compilers, Interpreters.

Simulation and Modeling.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Local Subjects:

Algorithm Analysis and Problem Complexity.

Software Engineering.

Programming Languages, Compilers, Interpreters.

Simulation and Modeling.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Physical Description:

1 online resource (X, 353 pages) : 93 illustrations.

Edition:

First edition 2017.

Contained In:

Springer eBooks

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2017.

System Details:

text file PDF

Summary:

This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems.

Other Format:

Printed edition:

ISBN:

978-3-319-65765-3

9783319657653

Access Restriction:

Restricted for use by site license.