Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Name: Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings
Price: 80.50 CAD
Availability: In_Stock
Author: Mahsa Shirmohammadi
ISBN: 9783030850364

Catalin Dima Edited by Mahsa Shirmohammadi

Aug 09, 2021

$80.50

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 403 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

155

Theoretical Computer Science and General Issues

Publisher: Springer Nature

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9783030850364

Advances in Signal Processing and Intelligent Recognition Systems: 4th International Symposium SIRS 2018, Bangalore, India, September 19-22, 2018, Revised Selected Papers

Sabu M. Thampi Paperback
$80.50
2 formats available
Systems and Virtualization Management: Standards and the Cloud: Third International DMTF Academic Alliance Workshop, SVM 2009, Wuhan, China, September 22-23, 2009. Revised Selected Papers

Latifa Boursas Paperback
$80.50
Interactive Systems: Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002

Bodo Urban Paperback
$80.50
Advanced Communication and Intelligent Systems: Second International Conference, ICACIS 2023, Warsaw, Poland, June 16-17, 2023, Revised Selected Papers, Part I

Rabindra Nath Shaw Paperback
$116.95
2 formats available
Machine Learning And Data Mining In Pattern Recognition: 11th International Conference, Mldm 2015, Hamburg, Germany, July 20-21, 2015, Proceedings

Petra Perner Paperback
$80.50
2 formats available
Advanced Communication and Intelligent Systems: Second International Conference, ICACIS 2023, Warsaw, Poland, June 16-17, 2023, Revised Selected Papers, Part II

Rabindra Nath Shaw Paperback
$160.95
2 formats available
Neural Information Processing. Models and Applications: 17th International Conference, ICONIP 2010, Sydney, Australia, November 21-25, 2010, Proceedings, Part II

Kevin K.W. Wong Paperback
$160.95
Predictive Intelligence in Medicine: Third International Workshop, PRIME 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 8, 2020, Proceedings

Islem Rekik Paperback
$80.50
2 formats available
Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part II

Mohammad Tanveer Paperback
$131.50
2 formats available
Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part V

Mohammad Tanveer Paperback
$160.95
2 formats available
Highlights In Practical Applications Of Agents, Multi-agent Systems, And Trust-worthiness. The Paams Collection: International Workshops Of Paams 2020, L'aquila, Italy, October 7-9, 2020, Proceedings

Fernando De La Prieta Paperback
$80.50
2 formats available
Information Systems: Methods, Models, and Applications: 4th International United Information Systems Conference, UNISCON 2012, Yalta, Ukraine, June 1-3, 2012, Revised Selected Papers

Heinrich C. Mayr Paperback
$72.95
Advances in Intelligent Data Analysis XX: 20th International Symposium on Intelligent Data Analysis, IDA 2022, Rennes, France, April 20-22, 2022, Proceedings

Tassadit Bouadi Paperback
$124.50
2 formats available
Advances in Intelligent Data Analysis XXII: 22nd International Symposium on Intelligent Data Analysis, IDA 2024, Stockholm, Sweden, April 24-26, 2024, Proceedings, Part II

Nico Piatkowski Paperback
$97.76
2 formats available
Advances in Intelligent Data Analysis XXII: 22nd International Symposium on Intelligent Data Analysis, IDA 2024, Stockholm, Sweden, April 24-26, 2024, Proceedings, Part II

Ioanna Miliou Paperback
$72.95
Information Technology for Management: Current Research and Future Directions: 17th Conference, AITM 2019, and 14th Conference, ISM 2019, Held as Part of FedCSIS, Leipzig, Germany, September 1-4, 2019, Extended and Revised Selected Papers

Ewa Ziemba Paperback
$80.50
2 formats available
Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part III

Mohammad Tanveer Paperback
$175.50
2 formats available
Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part I

Mohammad Tanveer Paperback
$160.95
2 formats available
Advances in Spatial and Temporal Databases: 12th International Symposium, Sstd 2011, Minneapolis, Mn, Usa, August 24-26, 2011. Proceedings

Dieter Pfoser Paperback
$80.50
Advances in Intelligent Data Analysis XXII: 22nd International Symposium on Intelligent Data Analysis, IDA 2024, Stockholm, Sweden, April 24-26, 2024, Proceedings, Part I

Panagiotis Papapetrou Paperback
$97.76
2 formats available

Editorial reviews

mahsa shirmohammadi

Author

Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings

Étienne Andr Paperback
$80.50
2 formats available
Formal Modeling And Analysis Of Timed Systems: 18th International Conference, Formats 2020, Vienna, Austria, September 1-3, 2020, Proceedings

Nathalie Bertrand Paperback
$80.50
2 formats available
Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Axel Legay Paperback
$80.50
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Laure Petrucci Paperback
$80.50
2 formats available
Verification And Evaluation Of Computer And Communication Systems: 12th International Conference, Vecos 2018, Grenoble, France, September 26-28, 2018, Proceedings

Mohamed Faouzi Atig Paperback
$80.50
2 formats available
Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings

Marco Gribaudo Paperback
$80.50
2 formats available
Descriptional Complexity Of Formal Systems: 22nd International Conference, Dcfs 2020, Vienna, Austria, August 24-26, 2020, Proceedings

Galina Jiráskov Paperback
$80.50
2 formats available
Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings

Sergiy Bogomolov Paperback
$87.95
2 formats available
Implementation And Application Of Automata: 25th International Conference, Ciaa 2021, Virtual Event, July 19-22, 2021, Proceedings

Sebastian Maneth Paperback
$80.50
2 formats available
Theory And Applications Of Satisfiability Testing - Sat 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings

Chu-min Li Paperback
$175.50
2 formats available
Verification And Evaluation Of Computer And Communication Systems: 14th International Conference, Vecos 2020, Xi'an, China, October 26-27, 2020, Proceedings

Belgacem Ben Hedia Paperback
$80.50
2 formats available
Algorithms And Data Structures: 17th International Symposium, Wads 2021, Virtual Event, August 9-11, 2021, Proceedings

Anna Lubiw Paperback
$160.95
2 formats available
Reachability Problems: 14th International Conference, Rp 2020, Paris, France, October 19-21, 2020, Proceedings

Sylvain Schmitz Paperback
$80.50
2 formats available
Computational Topology In Image Context: 6th International Workshop, Ctic 2016, Marseille, France, June 15-17, 2016, Proceedings

Alexandra Bac Paperback
$80.50
2 formats available
Connecting with Computability: 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings

Liesbeth De Mol Paperback
$80.50
2 formats available
Quantitative Evaluation Of Systems: 16th International Conference, Qest 2019, Glasgow, Uk, September 10-12, 2019, Proceedings

David Parker Paperback
$80.50
2 formats available
Structural Information And Communication Complexity: 26th International Colloquium, Sirocco 2019, L'aquila, Italy, July 1-4, 2019, Proceedings

Keren Censor-hillel Paperback
$80.50
2 formats available
String Processing And Information Retrieval: 28th International Symposium, Spire 2021, Lille, France, October 4-6, 2021, Proceedings

Thierry Lecroq Paperback
$102.50
2 formats available
Modeling and Simulation of Social-Behavioral Phenomena in Creative Societies: Second International Conference, MSBC 2022, Vilnius, Lithuania, September 21-23, 2022, Proceedings

Nitin Agarwal Paperback
$124.50
2 formats available
Theory And Applications Of Satisfiability Testing - Sat 2020: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings

Luca Pulina Paperback
$80.50
2 formats available

Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Overview

You May Also Like

Advances in Signal Processing and Intelligent Recognition Systems: 4th International Symposium SIRS 2018, Bangalore, India, September 19-22, 2018, Revised Selected Papers

Systems and Virtualization Management: Standards and the Cloud: Third International DMTF Academic Alliance Workshop, SVM 2009, Wuhan, China, September 22-23, 2009. Revised Selected Papers

Interactive Systems: Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002

Advanced Communication and Intelligent Systems: Second International Conference, ICACIS 2023, Warsaw, Poland, June 16-17, 2023, Revised Selected Papers, Part I

Machine Learning And Data Mining In Pattern Recognition: 11th International Conference, Mldm 2015, Hamburg, Germany, July 20-21, 2015, Proceedings

Advanced Communication and Intelligent Systems: Second International Conference, ICACIS 2023, Warsaw, Poland, June 16-17, 2023, Revised Selected Papers, Part II

Neural Information Processing. Models and Applications: 17th International Conference, ICONIP 2010, Sydney, Australia, November 21-25, 2010, Proceedings, Part II

Predictive Intelligence in Medicine: Third International Workshop, PRIME 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 8, 2020, Proceedings

Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part II

Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part V

Highlights In Practical Applications Of Agents, Multi-agent Systems, And Trust-worthiness. The Paams Collection: International Workshops Of Paams 2020, L'aquila, Italy, October 7-9, 2020, Proceedings

Information Systems: Methods, Models, and Applications: 4th International United Information Systems Conference, UNISCON 2012, Yalta, Ukraine, June 1-3, 2012, Revised Selected Papers

Advances in Intelligent Data Analysis XX: 20th International Symposium on Intelligent Data Analysis, IDA 2022, Rennes, France, April 20-22, 2022, Proceedings

Advances in Intelligent Data Analysis XXII: 22nd International Symposium on Intelligent Data Analysis, IDA 2024, Stockholm, Sweden, April 24-26, 2024, Proceedings, Part II

Advances in Intelligent Data Analysis XXII: 22nd International Symposium on Intelligent Data Analysis, IDA 2024, Stockholm, Sweden, April 24-26, 2024, Proceedings, Part II

Information Technology for Management: Current Research and Future Directions: 17th Conference, AITM 2019, and 14th Conference, ISM 2019, Held as Part of FedCSIS, Leipzig, Germany, September 1-4, 2019, Extended and Revised Selected Papers

Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part III

Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part I

Advances in Spatial and Temporal Databases: 12th International Symposium, Sstd 2011, Minneapolis, Mn, Usa, August 24-26, 2011. Proceedings

Advances in Intelligent Data Analysis XXII: 22nd International Symposium on Intelligent Data Analysis, IDA 2024, Stockholm, Sweden, April 24-26, 2024, Proceedings, Part I

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings

Formal Modeling And Analysis Of Timed Systems: 18th International Conference, Formats 2020, Vienna, Austria, September 1-3, 2020, Proceedings

Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Verification And Evaluation Of Computer And Communication Systems: 12th International Conference, Vecos 2018, Grenoble, France, September 26-28, 2018, Proceedings

Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings

Descriptional Complexity Of Formal Systems: 22nd International Conference, Dcfs 2020, Vienna, Austria, August 24-26, 2020, Proceedings

Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings

Implementation And Application Of Automata: 25th International Conference, Ciaa 2021, Virtual Event, July 19-22, 2021, Proceedings

Theory And Applications Of Satisfiability Testing - Sat 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings

Verification And Evaluation Of Computer And Communication Systems: 14th International Conference, Vecos 2020, Xi'an, China, October 26-27, 2020, Proceedings

Algorithms And Data Structures: 17th International Symposium, Wads 2021, Virtual Event, August 9-11, 2021, Proceedings

Reachability Problems: 14th International Conference, Rp 2020, Paris, France, October 19-21, 2020, Proceedings

Computational Topology In Image Context: 6th International Workshop, Ctic 2016, Marseille, France, June 15-17, 2016, Proceedings

Connecting with Computability: 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings

Quantitative Evaluation Of Systems: 16th International Conference, Qest 2019, Glasgow, Uk, September 10-12, 2019, Proceedings

Structural Information And Communication Complexity: 26th International Colloquium, Sirocco 2019, L'aquila, Italy, July 1-4, 2019, Proceedings

String Processing And Information Retrieval: 28th International Symposium, Spire 2021, Lille, France, October 4-6, 2021, Proceedings

Modeling and Simulation of Social-Behavioral Phenomena in Creative Societies: Second International Conference, MSBC 2022, Vilnius, Lithuania, September 21-23, 2022, Proceedings

Theory And Applications Of Satisfiability Testing - Sat 2020: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings