Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings

Name: Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
Price: 109.50 CAD
Availability: InStock
Author: Masaki Waga
ISBN: 9783031684159

Jane Hillston Edited by Sadegh Soudjani , Masaki Waga

Aug 29, 2024

$109.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 548 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

338

Lecture Notes In Computer Science

Publisher: Springer Nature

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

ISBN: 9783031684159

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

Axel Legay Paperback
$80.50
Re-imagining Diffusion and Adoption of Information Technology and Systems: A Continuing Conversation: IFIP WG 8.6 International Conference on Transfer and Diffusion of IT, TDIT 2020, Tiruchirappalli, India, December 18-19, 2020, Proceedings, Part I

Sujeet K. Sharma Paperback
$261.50
Re-imagining Diffusion and Adoption of Information Technology and Systems: A Continuing Conversation: IFIP WG 8.6 International Conference on Transfer and Diffusion of IT, TDIT 2020, Tiruchirappalli, India, December 18-19, 2020, Proceedings, Part I

Sujeet K. Sharma Hardcover
$262.95
2 formats available
E-systems For The 21st Century: Concept, Developments, And Applications, Volume 2: E-learning, E-maintenance, E-portfolio, E-system

Seifedine Kadry Paperback
$73.50
Equipment Intelligent Operation and Maintenance: Proceedings of the First International Conference on Equipment Intelligent Operation and Maintenance (ICEIOM 2023), Hefei, China, 21st - 23rd September, 2023 (Volume I)

Ruqiang Yan Hardcover
$370.50
Equipment Intelligent Operation and Maintenance: Proceedings of the First International Conference on Equipment Intelligent Operation and Maintenance (ICEIOM 2023), Hefei, China, 21st - 23rd September, 2023 (Volume II)

Ruqiang Yan Hardcover
$370.50
Smart Design, Science: Proceedings of the IEEE 6th International Conference on Applied System Innovation (ICASI 2020), November 5-8, 2020, Taitung, Taiwan

Artde Donald Kin-tak Lam Hardcover
$207.50
2 formats available
Risks and Security of Internet and Systems: 15th International Conference, CRiSIS 2020, Paris, France, November 4-6, 2020, Revised Selected Papers

Joaquin Garcia-alfaro Paperback
$80.50
2 formats available
Transactional Agents: Towards a Robust Multi-Agent System

Khaled Nagi Paperback
$80.50
How To Cheat At Windows System Administration Using Command Line Scripts

Pawan K Bhardwaj Paperback
$66.95
Biologically Inspired Cooperative Computing: IFIP 19th World Computer Congress, TC 10: 1st IFIP International Conference on Biologically Inspired Cooperative Computing, August 21-24, 2006, Santiago, Chile

Yi Pan Paperback
$160.95
2 formats available
Fault-tolerant Message-passing Distributed Systems: An Algorithmic Approach

Michel Raynal Paperback
$80.50
2 formats available
Components of System Safety: Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002

Felix Redmill Paperback
$248.50
Data Management in Grid and Peer-to-Peer Systems: Second International Conference, Globe 2009 Linz, Austria, September 1-2, 2009 Proceedings

Abdelkader Hameurlain Paperback
$80.50
Data Management in Grid and Peer-to-Peer Systems: First International Conference, Globe 2008, Turin, Italy, September 3, 2008, Proceedings

Abdelkader Hameurlain Paperback
$80.50
Business Process Management: 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011, Proceedings

Stefanie Rinderle-Ma Paperback
$80.50
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Ita

Tommaso Bolognesi Paperback
$321.50
2 formats available
Developing AI, IoT and Cloud Computing-based Tools and Applications for Women's Safety

Parul Dubey Hardcover
$281.50
2 formats available
High Performance Data Mining: Scaling Algorithms, Applications and Systems

Yike Guo Paperback
$160.95
Developing AI, IoT and Cloud Computing-based Tools and Applications for Women's Safety

Parul Dubey Hardcover
$281.50
2 formats available

Editorial reviews

sadegh soudjani

Author

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings

Birgit Milius Paperback
$94.95
2 formats available
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
Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Catalin Dima 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
Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Axel Legay Paperback
$80.50
Model-Based Safety and Assessment: 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings

Christel Seguin Paperback
$80.50
2 formats available
The Transdisciplinary Reach of Design Science Research: 17th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2022, St Petersburg, FL, USA, June 1-3, 2022, Proceedings

Andreas Drechsler Paperback
$131.50
2 formats available
Modeling, Simulation and Optimization of Complex Processes - HPSC 2012: Proceedings of the Fifth International Conference on High Performance Scientific Computing, March 5-9, 2012, Hanoi, Vietnam

Hans Georg Bock Hardcover
$160.95
2 formats available
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings

Simon Collart-dutilleul Paperback
$102.50
2 formats available
Evolutionary Multi-Criterion Optimization: 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, Proceedings

Michael Emmerich Paperback
$145.95
2 formats available
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: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

Krishnendu Chatterjee Paperback
$80.50
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Tiziana Margaria Paperback
$109.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
Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003

Andreas Ulrich Paperback
$80.50
Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings

Erika Ábrah Paperback
$80.50
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV

Tiziana Margaria 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
Coalgebraic Methods in Computer Science: 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings

Daniela Petri Paperback
$80.50
2 formats available

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings

Overview

You May Also Like

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

Re-imagining Diffusion and Adoption of Information Technology and Systems: A Continuing Conversation: IFIP WG 8.6 International Conference on Transfer and Diffusion of IT, TDIT 2020, Tiruchirappalli, India, December 18-19, 2020, Proceedings, Part I

Re-imagining Diffusion and Adoption of Information Technology and Systems: A Continuing Conversation: IFIP WG 8.6 International Conference on Transfer and Diffusion of IT, TDIT 2020, Tiruchirappalli, India, December 18-19, 2020, Proceedings, Part I

E-systems For The 21st Century: Concept, Developments, And Applications, Volume 2: E-learning, E-maintenance, E-portfolio, E-system

Equipment Intelligent Operation and Maintenance: Proceedings of the First International Conference on Equipment Intelligent Operation and Maintenance (ICEIOM 2023), Hefei, China, 21st - 23rd September, 2023 (Volume I)

Equipment Intelligent Operation and Maintenance: Proceedings of the First International Conference on Equipment Intelligent Operation and Maintenance (ICEIOM 2023), Hefei, China, 21st - 23rd September, 2023 (Volume II)

Smart Design, Science: Proceedings of the IEEE 6th International Conference on Applied System Innovation (ICASI 2020), November 5-8, 2020, Taitung, Taiwan

Risks and Security of Internet and Systems: 15th International Conference, CRiSIS 2020, Paris, France, November 4-6, 2020, Revised Selected Papers

Transactional Agents: Towards a Robust Multi-Agent System

How To Cheat At Windows System Administration Using Command Line Scripts

Biologically Inspired Cooperative Computing: IFIP 19th World Computer Congress, TC 10: 1st IFIP International Conference on Biologically Inspired Cooperative Computing, August 21-24, 2006, Santiago, Chile

Fault-tolerant Message-passing Distributed Systems: An Algorithmic Approach

Components of System Safety: Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002

Data Management in Grid and Peer-to-Peer Systems: Second International Conference, Globe 2009 Linz, Austria, September 1-2, 2009 Proceedings

Data Management in Grid and Peer-to-Peer Systems: First International Conference, Globe 2008, Turin, Italy, September 3, 2008, Proceedings

Business Process Management: 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011, Proceedings

Developing AI, IoT and Cloud Computing-based Tools and Applications for Women's Safety

High Performance Data Mining: Scaling Algorithms, Applications and Systems

Developing AI, IoT and Cloud Computing-based Tools and Applications for Women's Safety

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings

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

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

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

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

Model-Based Safety and Assessment: 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings

The Transdisciplinary Reach of Design Science Research: 17th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2022, St Petersburg, FL, USA, June 1-3, 2022, Proceedings

Modeling, Simulation and Optimization of Complex Processes - HPSC 2012: Proceedings of the Fifth International Conference on High Performance Scientific Computing, March 5-9, 2012, Hanoi, Vietnam

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings

Evolutionary Multi-Criterion Optimization: 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, Proceedings

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: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

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

Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003

Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV

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

Coalgebraic Methods in Computer Science: 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings