Items related to Formal Modeling and Analysis of Timed Systems: 21st...

Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings: 14138 (Lecture Notes in Computer Science, 14138) - Softcover

 
9783031426254: Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings: 14138 (Lecture Notes in Computer Science, 14138)

Synopsis

This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The proceedings also contain one invited paper in full paper length. 

The papers deal with real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics, and verification of real-timed, hybrid, and probabilistic systems.


"synopsis" may belong to another edition of this title.

Search results for Formal Modeling and Analysis of Timed Systems: 21st...

Stock Image

Published by Springer, 2023
ISBN 10: 3031426258 ISBN 13: 9783031426254
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783031426254_new

Contact seller

Buy New

£ 50.82
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Jeremy Sproston
ISBN 10: 3031426258 ISBN 13: 9783031426254
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The proceedings also contain one invited paper in full paper length.The papers deal withreal-time issues in hardware design, performance analysis, real-time software, scheduling, semantics, and verification of real-timed,hybrid, and probabilistic systems. 196 pp. Englisch. Seller Inventory # 9783031426254

Contact seller

Buy New

£ 52.26
Convert currency
Shipping: £ 9.48
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Published by Springer, 2023
ISBN 10: 3031426258 ISBN 13: 9783031426254
New Softcover

Seller: California Books, Miami, FL, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # I-9783031426254

Contact seller

Buy New

£ 56.11
Convert currency
Shipping: £ 7.36
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Jeremy Sproston
ISBN 10: 3031426258 ISBN 13: 9783031426254
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The proceedings also contain one invited paper in full paper length.The papers deal withreal-time issues in hardware design, performance analysis, real-time software, scheduling, semantics, and verification of real-timed,hybrid, and probabilistic systems. Seller Inventory # 9783031426254

Contact seller

Buy New

£ 52.26
Convert currency
Shipping: £ 12.06
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Published by Springer Nature Switzerland, 2023
ISBN 10: 3031426258 ISBN 13: 9783031426254
New Softcover
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed. Seller Inventory # 959198584

Contact seller

Buy New

£ 46.85
Convert currency
Shipping: £ 21.55
From Germany to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Petrucci, Laure (Editor)/ Sproston, Jeremy (Editor)
Published by Springer-Nature New York Inc, 2023
ISBN 10: 3031426258 ISBN 13: 9783031426254
New Paperback

Seller: Revaluation Books, Exeter, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Brand New. 195 pages. 9.25x6.10x0.42 inches. In Stock. Seller Inventory # x-3031426258

Contact seller

Buy New

£ 69.97
Convert currency
Shipping: £ 6.99
Within United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Published by Springer, 2023
ISBN 10: 3031426258 ISBN 13: 9783031426254
New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. 196. Seller Inventory # 26398554305

Contact seller

Buy New

£ 72.74
Convert currency
Shipping: £ 6.63
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 4 available

Add to basket

Seller Image

Jeremy Sproston
ISBN 10: 3031426258 ISBN 13: 9783031426254
New Taschenbuch

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The proceedings also contain one invited paper in full paper length. The papers deal with real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics, and verification of real-timed, hybrid, and probabilistic systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch. Seller Inventory # 9783031426254

Contact seller

Buy New

£ 52.26
Convert currency
Shipping: £ 30.18
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Published by Springer, 2023
ISBN 10: 3031426258 ISBN 13: 9783031426254
New Softcover
Print on Demand

Seller: Biblios, Frankfurt am main, HESSE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. PRINT ON DEMAND pp. 196. Seller Inventory # 18398554315

Contact seller

Buy New

£ 80.36
Convert currency
Shipping: £ 6.85
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 4 available

Add to basket