Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Name: Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
Price: 102.50 CAD
Availability: InStock
Author: Guy Katz
ISBN: 9783031212215

Omri Isac Édition : Radoslav Ivanov , Guy Katz

16 décembre 2022

102,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 513 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

205

Lecture Notes In Computer Science

Publié par: Springer Nature

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783031212215

ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

Helen Treharne Couverture souple
160,95 $
Virtual Systems and Multimedia: 13th International Conference, VSMM 2007, Brisbane, Australia, September 23-26, 2007, Revised Selected Papers

Theodor G. Wyeld Couverture rigide
80,50 $
Model-Based Methodologies for Pervasive and Embedded Software: 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers

Ricardo J. Machado Couverture souple
72,95 $
Top Productivity through Software Reuse: 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings

Klaus Schmid Couverture souple
80,50 $
Learning and Intelligent Optimization: 5th International Conference, LION 5, Rome, Italy, January 17-21, 2011, Selected Papers

Carlos A. Coello-Coello Couverture souple
80,50 $
From Model-Driven Design to Resource Management for Distributed Embedded Systems: IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-13, 2006, Braga, Portugal

Bernd Kleinjohann Couverture souple
160,95 $
2 formats offerts
Design, Operation and Evaluation of Mobile Communications: Third International Conference, MOBILE 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings

Gavriel Salvendy Couverture souple
145,95 $
2 formats offerts
Cloud Computing and Services Science: 9th International Conference, CLOSER 2019, Heraklion, Crete, Greece, May 2-4, 2019, Revised Selected Papers

Donald Ferguson Couverture souple
80,50 $
2 formats offerts
Distributed Applications and Interoperable Systems: 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings

Lea Kutvonen Couverture souple
80,50 $
Intelligent Human Computer Interaction: 13th International Conference, IHCI 2021, Kent, OH, USA, December 20-22, 2021, Revised Selected Papers

Jong-hoon Kim Couverture souple
175,50 $
2 formats offerts
Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings

Maurice H. ter Beek Couverture souple
189,95 $
2 formats offerts
Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings

Víctor Braberman Couverture souple
72,95 $
Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

Huaikou Miao Couverture souple
80,50 $
2 formats offerts
Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers

Maria Christakis Couverture souple
80,50 $
2 formats offerts
Reuse and Software Quality: 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024, Proceedings

Achilleas Achilleos Couverture souple
80,50 $
2 formats offerts
Computer-Human Interaction Research and Applications: 4th International Conference, CHIRA 2020, Virtual Event, November 5-6, 2020, Revised Selected Papers

Andreas Holzinger Couverture souple
102,50 $
2 formats offerts
Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings

Ferruccio Damiani Couverture souple
80,50 $
2 formats offerts
Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings

Ekaterina Komendantskaya Couverture souple
94,95 $
2 formats offerts
Computer-Human Interaction Research and Applications: 5th International Conference, CHIRA 2021, Virtual Event, October 28-29, 2021, and 6th International Conference, CHIRA 2022, Valletta, Malta, October 27-28, 2022, Revised Selected Papers

Andreas Holzinger Couverture souple
94,95 $
2 formats offerts
Reuse and Software Quality: 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024, Proceedings

Achilleas Achilleos Couverture souple
72,95 $

Évaluation éditoriale

radoslav ivanov

Auteur

Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings

Ahmed Bouajjani Couverture souple
124,50 $
2 formats offerts
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings

Kim Guldstrand Larsen Couverture souple
80,50 $
2 formats offerts
Automated Technology For Verification And Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings

Dang Van Hung Couverture souple
80,50 $
2 formats offerts
Data-Driven Process Discovery and Analysis: 8th IFIP WG 2.6 International Symposium, SIMPDA 2018, Seville, Spain, December 13-14, 2018, and 9th International Symposium, SIMPDA 2019, Bled, Slovenia, September 8, 2019, Revised Selected Papers

Paolo Ceravolo Couverture souple
80,50 $
2 formats offerts
Recent Trends in Algebraic Development Techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers

Alexandre Madeira Couverture souple
80,50 $
2 formats offerts
Pattern Recognition Applications and Methods: 10th International Conference, ICPRAM 2021, and 11th International Conference, ICPRAM 2022, Virtual Event, February 4-6, 2021 and February 3-5, 2022, Revised Selected Papers

Maria De Marsico Couverture souple
87,95 $
2 formats offerts
Learning Technologies and Systems: 21st International Conference on Web-Based Learning, ICWL 2022, and 7th International Symposium on Emerging Technologies for Education, SETE 2022, Tenerife, Spain, November 21-23, 2022, Revised Selected Papers

Carina S. González-Gonz Couverture souple
145,95 $
2 formats offerts
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

Étienne Andr Couverture souple
116,95 $
2 formats offerts
Modelling and Simulation for Autonomous Systems: 8th International Conference, MESAS 2021, Virtual Event, October 13-14, 2021, Revised Selected Papers

Jan Mazal Couverture souple
160,95 $
2 formats offerts
Model-based Safety And Assessment: 6th International Symposium, Imbsa 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings

Yiannis Papadopoulos Couverture souple
80,50 $
2 formats offerts
Automated Technology For Verification And Analysis: 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

Yu-fang Chen Couverture souple
80,50 $
2 formats offerts
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II

Étienne Andr Couverture souple
109,50 $
2 formats offerts
Enterprise and Organizational Modeling and Simulation: 6th International Workshop, EOMAS 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Selected Papers

Joseph Barjis Couverture souple
80,50 $
Asynchronous Many-Task Systems and Applications: Second International Workshop, WAMTA 2024, Knoxville, TN, USA, February 14-16, 2024, Proceedings

Patrick Diehl Couverture souple
80,50 $
2 formats offerts
Operations Research and Enterprise Systems: 9th International Conference, ICORES 2020, Valetta, Malta, February 22-24, 2020, and 10th International Conference, ICORES 2021, Virtual Event, February 4-6, 2021, Revised Selected Papers

Greg H. Parlier Couverture souple
80,50 $
2 formats offerts
Smart Cities, Green Technologies, and Intelligent Transport Systems: 11th International Conference, SMARTGREENS 2022, and 8th International Conference, VEHITS 2022, Virtual Event, April 27-29, 2022, Revised Selected Papers

Cornel Klein Couverture souple
102,50 $
2 formats offerts
Verification and Evaluation of Computer and Communication Systems: 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers

Ayoub Nouri Couverture souple
87,95 $
2 formats offerts
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings

Bernd-holger Schlingloff Couverture souple
102,50 $
2 formats offerts
Model-Driven Engineering and Software Development: 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers

Francisco Jos Domínguez Mayo Couverture souple
175,50 $
2 formats offerts
Business Modeling And Software Design: 8th International Symposium, Bmsd 2018, Vienna, Austria, July 2-4, 2018, Proceedings

Boris Shishkov Couverture souple
80,50 $
2 formats offerts

Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Description

Vous aimerez peut-être aussi

ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

Virtual Systems and Multimedia: 13th International Conference, VSMM 2007, Brisbane, Australia, September 23-26, 2007, Revised Selected Papers

Model-Based Methodologies for Pervasive and Embedded Software: 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers

Top Productivity through Software Reuse: 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings

Learning and Intelligent Optimization: 5th International Conference, LION 5, Rome, Italy, January 17-21, 2011, Selected Papers

From Model-Driven Design to Resource Management for Distributed Embedded Systems: IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-13, 2006, Braga, Portugal

Design, Operation and Evaluation of Mobile Communications: Third International Conference, MOBILE 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings

Cloud Computing and Services Science: 9th International Conference, CLOSER 2019, Heraklion, Crete, Greece, May 2-4, 2019, Revised Selected Papers

Distributed Applications and Interoperable Systems: 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings

Intelligent Human Computer Interaction: 13th International Conference, IHCI 2021, Kent, OH, USA, December 20-22, 2021, Revised Selected Papers

Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings

Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings

Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers

Reuse and Software Quality: 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024, Proceedings

Computer-Human Interaction Research and Applications: 4th International Conference, CHIRA 2020, Virtual Event, November 5-6, 2020, Revised Selected Papers

Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings

Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings

Computer-Human Interaction Research and Applications: 5th International Conference, CHIRA 2021, Virtual Event, October 28-29, 2021, and 6th International Conference, CHIRA 2022, Valletta, Malta, October 27-28, 2022, Revised Selected Papers

Reuse and Software Quality: 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024, Proceedings

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings

Automated Technology For Verification And Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings

Data-Driven Process Discovery and Analysis: 8th IFIP WG 2.6 International Symposium, SIMPDA 2018, Seville, Spain, December 13-14, 2018, and 9th International Symposium, SIMPDA 2019, Bled, Slovenia, September 8, 2019, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers

Pattern Recognition Applications and Methods: 10th International Conference, ICPRAM 2021, and 11th International Conference, ICPRAM 2022, Virtual Event, February 4-6, 2021 and February 3-5, 2022, Revised Selected Papers

Learning Technologies and Systems: 21st International Conference on Web-Based Learning, ICWL 2022, and 7th International Symposium on Emerging Technologies for Education, SETE 2022, Tenerife, Spain, November 21-23, 2022, Revised Selected Papers

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

Modelling and Simulation for Autonomous Systems: 8th International Conference, MESAS 2021, Virtual Event, October 13-14, 2021, Revised Selected Papers

Model-based Safety And Assessment: 6th International Symposium, Imbsa 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings

Automated Technology For Verification And Analysis: 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II

Enterprise and Organizational Modeling and Simulation: 6th International Workshop, EOMAS 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Selected Papers

Asynchronous Many-Task Systems and Applications: Second International Workshop, WAMTA 2024, Knoxville, TN, USA, February 14-16, 2024, Proceedings

Operations Research and Enterprise Systems: 9th International Conference, ICORES 2020, Valetta, Malta, February 22-24, 2020, and 10th International Conference, ICORES 2021, Virtual Event, February 4-6, 2021, Revised Selected Papers

Smart Cities, Green Technologies, and Intelligent Transport Systems: 11th International Conference, SMARTGREENS 2022, and 8th International Conference, VEHITS 2022, Virtual Event, April 27-29, 2022, Revised Selected Papers

Verification and Evaluation of Computer and Communication Systems: 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers

Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings

Model-Driven Engineering and Software Development: 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers

Business Modeling And Software Design: 8th International Symposium, Bmsd 2018, Vienna, Austria, July 2-4, 2018, Proceedings