Formal Modeling and Analysis of Timed Systems

Pavithra Prabhakar, David N. Jansen, 2018
Price in EUR including VAT
Ratings
Delivered between Wed, 9.7. and Mon, 14.7.
More than 10 pieces in stock at supplier
free shipping

Product details

The book "Formal Modeling and Analysis of Timed Systems" documents the refereed proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2018), which took place in September 2018 in Beijing, China. This volume contains 14 carefully selected and peer-reviewed contributions that emerged from 29 submitted papers. The contributions are organized into various thematic sections, including invited papers, temporal logics, distributed timed systems, behavioral equivalences, temporal words, and continuous dynamic systems. The aim of the FORMATS conference is to promote the study of the fundamental and practical aspects of timed systems and to bring together researchers from different disciplines who share common interests in the modeling and analysis of timed systems as well as hybrid systems.

Key specifications

topic
Mathematics & Natural Sciences
Subtopic
Analysis
Author
David N. Jansen, Pavithra Prabhakar
Book cover
Paperback
Year
2018
Item number
56004348

General information

Publisher
Springer
Category
Reference books
Release date
11.3.2025

Book properties

topic
Mathematics & Natural Sciences
Subtopic
Analysis
Author
David N. Jansen, Pavithra Prabhakar
Year
2018
Book cover
Paperback
Year
2018

Voluntary climate contribution

CO₂-Emission
Climate contribution

14-day cancellation right
30-day right of return if unopened
24 Months statutory warranty

Compare products

Goes with

Reviews & Ratings

Statutory warranty score

How often does a product of this brand in the «Reference books» category have a defect within the first 24 months?

Source: Galaxus
  • 43.Penguin Random House
    0,1 %
  • 43.rororo
    0,1 %
  • 43.Springer
    0,1 %
  • 43.Urban & Fischer
    0,1 %
  • 47.Beck C.H.
    0,2 %

Statutory warranty case duration

How many working days on average does it take to process a warranty claim from when it arrives at the service centre until it’s back with the customer?

Source: Galaxus
  • Springer
    Not enough data
  • Anaconda
    Not enough data
  • Ariston
    Not enough data
  • Avery Publishing Group
    Not enough data
  • Beck C.H.
    Not enough data

Unfortunately, we don't have enough data for this category yet.

Return rate

How often is a product of this brand in the «Reference books» category returned?

Source: Galaxus
  • 41.Ullstein
    0,8 %
  • 47.Anaconda
    0,9 %
  • 47.Springer
    0,9 %
  • 47.Urban & Fischer
    0,9 %
  • 50.Bloomsbury
    1 %
Source: Galaxus