Runtime Verification

23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings

Panagiotis Katsaros,Laura Nenzi

Springer Nature Proceedings Computer Science

Buy the eBook

Ahorra 10 %Precio de venta: $87.396 CLP.$78.657CLP

Estás en la librería de Chile

¿No estás en Chile? Elige la librería de tu país para ver los libros que puedes comprar.

Elige tu librería

Comprar ahora

¿Por qué leer con nosotros?

Kobo anima a los amantes de los libros a leer más.

Experiencia de lectura mejorada con nuestros eReaders Kobo

Catálogo de libros extenso y relevante

Aplicación de lectura gratuita de Kobo

Sinopsis

Categorías

Acerca de este libro

Idioma:English
ISBN:9783031442674
Fecha de lanzamiento:1 oct 2023
Editorial:Springer Nature Switzerland

Edición:Springer
Formato de archivo:EPUB3
Tamaño de archivo:50.38 MB
Opciones de descarga:EPUB3 (Adobe DRM)

En esta serie

Model-Based Safety and Assessment

Panagiotis Katsaros

Lecturas relacionadas

Hands-On Unsupervised Learning with Python

Giuseppe Bonaccorso

$38.574

o Gratis con Kobo Plus

Formal Methods

André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

Gratis

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Computer Aided Verification

Hana Chockler, Georg Weissenbacher

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman

Gratis

Computer Aided Verification

Shuvendu K. Lahiri, Chao Wang

Gratis

Fundamental Approaches to Software Engineering

Reiner Hähnle, Wil van der Aalst

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Tomáš Vojnar, Lijun Zhang

Gratis

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Computer Aided Verification

Shuvendu K. Lahiri, Chao Wang

Gratis

Computer Aided Verification

Arie Gurfinkel, Vijay Ganesh

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

Gratis

Computer Aided Verification

Isil Dillig, Serdar Tasiran

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner, Laura Kovács

Gratis

Computer Aided Verification

Sharon Shoham, Yakir Vizel

Gratis

Computer Aided Verification

Constantin Enea, Akash Lal

Gratis

Computer Aided Verification

Sharon Shoham, Yakir Vizel

Gratis

Computer Aided Verification

Constantin Enea, Akash Lal

Gratis

Computer Aided Verification

Constantin Enea, Akash Lal

Gratis

Runtime Verification

Jyotirmoy Deshmukh, Dejan Ničković

$56.180

NASA Formal Methods

Kristin Yvonne Rozier, Swarat Chaudhuri

$101.133

Theoretical Aspects of Software Engineering

Cristina David, Meng Sun

$84.276

Verification, Model Checking, and Abstract Interpretation

Cezara Dragoi, Michael Emmi, Jingbo Wang

$84.276

NASA Formal Methods

Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez

$134.848

Runtime Verification

Lu Feng, Dana Fisman

$84.276

Similarity Search and Applications

Christian Beecks, Felix Borutta, Peer Kröger, Thomas Seidl

$73.037

Formal Methods

Marieke Huisman, Corina Păsăreanu, Naijun Zhan

$112.372

Formal Methods

Augusto Sampaio, Marielle Stoelinga

Gratis

Integrated Formal Methods

Ferruccio Damiani, Marie Farrell

$73.037

Verification, Model Checking, and Abstract Interpretation

Bernd Finkbeiner, Thomas Wies

$101.133

Runtime Verification

Yliès Falcone, César Sánchez

$56.180

Automated Technology for Verification and Analysis

Étienne André, Jun Sun

$84.276

Formal Aspects of Component Software

Gwen Salaün, Anton Wijs

$50.561

Formal Methods

Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

$101.133

Static Analysis

Roberto Giacobazzi, Alessandra Gorla

$89.895

Static Analysis

Hakjoo Oh, Yulei Sui

$82.028

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

$56.180

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Tiziana Margaria, Bernhard Steffen

$95.514

Automated Technology for Verification and Analysis

Ahmed Bouajjani, Lukáš Holík, Zhilin Wu

$84.276

Software Engineering and Formal Methods

Radu Calinescu, Corina S. Păsăreanu

$89.895

Dependable Software Engineering. Theories, Tools, and Applications

Amir Goharshady, Christoph Haase

$82.028

Formal Methods for Industrial Critical Systems

Anne E. Haxthausen, Wendelin Serwe

$73.037

NASA Formal Methods

Nathaniel Benz, Divya Gopinath, Nija Shi

$134.848

Runtime Verification

Erika Ábrahám, Houssam Abbas

$61.799

Integrated Formal Methods

Nikolai Kosmatov, Laura Kovács

$157.324

Automated Technology for Verification and Analysis

Zhe Hou, Vijay Ganesh

$84.276

Software Engineering and Formal Methods

Alexandre Madeira, Alexander Knapp

$78.657

Formal Aspects of Component Software

Kyungmin Bae, Peter Csaba Ölveczky

$56.180

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Pierre Schaus

$89.895

Computer Aided Verification

Ruzica Piskac, Zvonimir Rakamarić

Gratis

FM 2016: Formal Methods

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

$56.180

Automated Technology for Verification and Analysis

Meenakshi D´Souza, Raghavan Komondoor, B. Srivathsan

$89.895

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

$56.180

Static Analysis

Manuel V. Hermenegildo, José F. Morales

$89.895

Formal Methods and Software Engineering

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

$56.180

Design and Verification of Cyber-Physical Systems: From Theory to Applications

Andreas Rauh, Bernd Finkbeiner, Paul Kröger

$89.895

Formal Techniques for Distributed Objects, Components, and Systems

Laura Bocchi, Burcu Kulahcioglu Ozkan

$64.047

Programming Languages and Systems

Bruno C. d. S. Oliveira

$56.180

Model Checking Software

Georgiana Caltais, Christian Schilling

$61.799

Automated Technology for Verification and Analysis

Étienne André, Jun Sun

$89.895

Theoretical Aspects of Software Engineering

Yamine Aït-Ameur, Florin Crăciun

$95.514

Formal Methods

Augusto Sampaio, Marielle Stoelinga

Gratis

Similarity Search and Applications

Laurent Amsaleg, Michael E. Houle, Erich Schubert

$56.180

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Tiziana Margaria, Bernhard Steffen

$89.895

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

$56.180

Dependable Software Engineering: Theories, Tools, and Applications

Martin Fränzle, Deepak Kapur, Naijun Zhan

$56.180

Integrated Formal Methods

Brijesh Dongol, Elena Troubitsyna

$56.180

Static Analysis

Cezara Drăgoi, Suvam Mukherjee, Kedar Namjoshi

$89.895

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

$56.180

NASA Formal Methods

Aaron Dutle, César Muñoz, Anthony Narkawicz

$56.180

Dependable Software Engineering. Theories, Tools, and Applications

Wei Dong, Jean-Pierre Talpin

$73.037

Fundamentals of Software Engineering

Hossein Hojjat, Mieke Massink

$78.657

Automated Technology for Verification and Analysis

K. Narayan Kumar, Deepak D'Souza

$56.180

Fundamentals of Software Engineering

Hossein Hojjat, Erika Ábrahám

$67.418

Runtime Verification

Ezio Bartocci, Rupak Majumdar

$56.180

NASA Formal Methods

Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez

$95.514

Software Engineering and Formal Methods

Carla Ferreira, Tim A. C. Willemse

$73.037

Software Engineering and Formal Methods

Alessandro Cimatti, Marjan Sirjani

$56.180

Model Checking Software

Alfons Laarman, Ana Sokolova

$56.180

Formal Aspects of Component Software

Zhiming Liu, Jinyun Xue, José Luiz Fiadeiro

$56.180

Automated Technology for Verification and Analysis

Dang Van Hung, Oleg Sokolsky

$56.180

Theoretical Aspects of Software Engineering

Wei-Ngan Chin, Zhiwu Xu

$112.372

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Tiziana Margaria, Bernhard Steffen

$95.514

Formal Techniques for Distributed Objects, Components, and Systems

Carla Ferreira, Claudio Antares Mezzina

$73.037

Formal Techniques for Distributed Objects, Components, and Systems

Mohammad Reza Mousavi, Anna Philippou

$78.657

Tools and Algorithms for the Construction and Analysis of Systems

Arie Gurfinkel, Marijn Heule

Gratis

Automated Technology for Verification and Analysis

S. Akshay, Aina Niemetz, Sriram Sankaranarayanan

$157.324

Software Engineering and Formal Methods

Rocco De Nicola, Eva Kühn

$56.180

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Tias Guns

$101.133

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

$56.180

Rebeca for Actor Analysis in Action

Edward A. Lee, Mohammad Reza Mousavi, Carolyn Talcott

$84.276

Verification, Model Checking, and Abstract Interpretation

Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi

$73.037

Runtime Verification

Shuvendu Lahiri, Giles Reger

$56.180

Ver más por autor

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi

$73.037

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability

Ioannis Stamelos, Antonio Cerone, Sara Fernandes, Panagiotis Katsaros, Alexeis Garcia-Perez, Siraj Ahmed Shaikh, Donatella Persico

$56.180

¿Te ha gustado el libro?

¡Sé la primera persona en valorar y reseñar este libro!

Esta es nuestra librería de Chile.

Runtime Verification

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Cómo leer

En esta serie

Model-Based Safety and Assessment

Lecturas relacionadas

Hands-On Unsupervised Learning with Python

Formal Methods

Computer Aided Verification

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Fundamental Approaches to Software Engineering

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Runtime Verification

NASA Formal Methods

Theoretical Aspects of Software Engineering

Verification, Model Checking, and Abstract Interpretation

NASA Formal Methods

Runtime Verification

Similarity Search and Applications

Formal Methods

Formal Methods

Integrated Formal Methods

Verification, Model Checking, and Abstract Interpretation

Runtime Verification

Automated Technology for Verification and Analysis

Formal Aspects of Component Software

Formal Methods

Static Analysis

Static Analysis

Computer Aided Verification

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Automated Technology for Verification and Analysis

Software Engineering and Formal Methods

Dependable Software Engineering. Theories, Tools, and Applications

Formal Methods for Industrial Critical Systems

NASA Formal Methods

Runtime Verification

Integrated Formal Methods

Automated Technology for Verification and Analysis

Software Engineering and Formal Methods

Formal Aspects of Component Software

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Computer Aided Verification

FM 2016: Formal Methods

Automated Technology for Verification and Analysis

Tools and Algorithms for the Construction and Analysis of Systems

Static Analysis

Formal Methods and Software Engineering

Design and Verification of Cyber-Physical Systems: From Theory to Applications

Formal Techniques for Distributed Objects, Components, and Systems

Programming Languages and Systems

Model Checking Software

Automated Technology for Verification and Analysis

Theoretical Aspects of Software Engineering

Formal Methods

Similarity Search and Applications

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Verification, Model Checking, and Abstract Interpretation

Dependable Software Engineering: Theories, Tools, and Applications

Integrated Formal Methods

Static Analysis