Vos paramètres de confidentialité

En sélectionnant «Tout accepter», vous autorisez RakutenKobo et ses partenaires à utiliser des cookies, des technologies de suivi et des technologies similaires pour collecter vos données personnelles et les traiter aux fins suivantes: exploiter le site Web et les services Kobo et s'assurer qu'ils fonctionnent correctement, vous fournir du contenu personnalisé sur Kobo et des publicités pour Kobo sur d'autres plateformes, et mesurer les analyses et analyser comment notre site Web et nos services sont utilisés. Sinon, veuillez cliquer sur «Refuser» ci-dessous pour rejeter toutes les finalités non essentielles ou consulter les «Paramètres de confidentialité» pour gérer vos préférences pour chaque finalité. Pour plus d'informations, veuillez lire notre Politique de confidentialité.

Runtime Verification

24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings

Erika Ábrahám,Houssam Abbas

Springer Nature Proceedings Computer Science

Vous êtes dans la boutique États-Unis

Pas en États-Unis? Choisissez la boutique de votre pays pour voir les livres disponibles à l'achat.

Choisir sa boutique

Résumé

Catégories

À propos de ce livre

Langue :English
ISBN :9783031742347
Date de parution :12 oct. 2024
Éditeur :Springer Nature Switzerland

Marque éditoriale :Springer
Format de fichier :EPUB3
Taille de fichier :28.78 MB
Options de téléchargement :EPUB3 (Adobe DRM)

In this series

Integrated Formal Methods

Erika Ábrahám,Marieke Huisman

Theoretical Aspects of Computing – ICTAC 2023

Erika Ábrahám,Clemens Dubslaff,Silvia Lizeth Tapia Tarifa

Quantitative Evaluation of Systems

Erika Ábrahám,Marco Paolieri

Lectures semblables

Fundamental Approaches to Software Engineering

Reiner Hähnle, Wil van der Aalst

Gratuit

Formal Methods

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

Gratuit

Tools and Algorithms for the Construction and Analysis of Systems

Tomáš Vojnar, Lijun Zhang

Gratuit

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratuit

Computer Aided Verification

Shuvendu K. Lahiri, Chao Wang

Gratuit

Computer Aided Verification

Arie Gurfinkel, Vijay Ganesh

Gratuit

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratuit

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

Gratuit

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

Gratuit

Formal Methods

Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

Gratuit

Computer Aided Verification

Constantin Enea, Akash Lal

Gratuit

Big Data Analytics and Knowledge Discovery

Sanjay Madria, Takahiro Hara

46,34 €

Computer Aided Verification

Constantin Enea, Akash Lal

Gratuit

Computer Aided Verification

Sharon Shoham, Yakir Vizel

Gratuit

Advances in Information and Computer Security

Kazuto Ogawa, Katsunari Yoshioka

46,34 €

Encyclopedia of Computer Science and Technology

Allen Kent, James G. Williams

47,32 €

Runtime Verification

Thao Dang, Volker Stolz

60,24 €

Runtime Verification

Panagiotis Katsaros, Laura Nenzi

64,88 €

Runtime Verification

Lu Feng, Dana Fisman

69,51 €

Dependable Software Engineering. Theories, Tools, and Applications

Shengchao Qin, Jim Woodcock, Wenhui Zhang

69,51 €

Runtime Verification

Jyotirmoy Deshmukh, Dejan Ničković

46,34 €

Theoretical Aspects of Software Engineering

Cristina David, Meng Sun

69,51 €

Runtime Verification

Yliès Falcone, César Sánchez

46,34 €

Verification, Model Checking, and Abstract Interpretation

Rayna Dimitrova, Ori Lahav, Sebastian Wolff

69,51 €

Formal Methods and Software Engineering

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

46,34 €

Formal Methods for Industrial Critical Systems

Anne E. Haxthausen, Wendelin Serwe

60,24 €

Software Engineering and Formal Methods

Radu Calinescu, Corina S. Păsăreanu

74,15 €

NASA Formal Methods

Kristin Yvonne Rozier, Swarat Chaudhuri

83,42 €

Theoretical Aspects of Software Engineering

Yamine Aït-Ameur, Florin Crăciun

78,78 €

Model Checking Software

Georgiana Caltais, Christian Schilling

50,97 €

Model Checking Software

Alfons Laarman, Ana Sokolova

46,34 €

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

46,34 €

Runtime Verification

Shuvendu Lahiri, Giles Reger

46,34 €

Formal Methods

Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

83,42 €

Automated Technology for Verification and Analysis

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

69,51 €

Foundations and Practice of Security

Gabriela Nicolescu, Assia Tria, José M. Fernandez, Jean-Yves Marion, Joaquin Garcia-Alfaro

46,34 €

Lectures on Runtime Verification

Ezio Bartocci, Yliès Falcone

60,24 €

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

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

60,24 €

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

Tiziana Margaria, Bernhard Steffen

78,78 €

Integrated Formal Methods

Ferruccio Damiani, Marie Farrell

60,24 €

Runtime Verification

Ezio Bartocci, Rupak Majumdar

46,34 €

Similarity Search and Applications

Oscar Pedreira, Vladimir Estivill-Castro

60,24 €

Formal Methods

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

92,69 €

Database and Expert Systems Applications

Djamal Benslimane, Ernesto Damiani, William I. Grosky, Abdelkader Hameurlain, Amit Sheth, Roland R. Wagner

46,34 €

Integration of Reusable Systems

Stuart H. Rubin, Thouraya Bouabana-Tebibel

83,42 €

Automated Technology for Verification and Analysis

Étienne André, Jun Sun

69,51 €

Dependable Software Engineering. Theories, Tools, and Applications

Holger Hermanns, Jun Sun, Lei Bu

74,15 €

Dependable Software Engineering. Theories, Tools, and Applications

Timothy Bourke, Liqian Chen, Amir Goharshady

74,15 €

Integrated Formal Methods

Maurice H. ter Beek, Rosemary Monahan

69,51 €

NASA Formal Methods

Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez

111,23 €

Theoretical Aspects of Software Engineering

Wei-Ngan Chin, Zhiwu Xu

92,69 €

The Semantic Web

Edward Curry, Maribel Acosta, Maria Poveda-Villalón, Marieke van Erp, Adegboyega Ojo, Katja Hose, Cogan Shimizu, Pasquale Lisena

69,51 €

Static Analysis

Roberto Giacobazzi, Alessandra Gorla

74,15 €

Dependable Software Engineering. Theories, Tools, and Applications

Wei Dong, Jean-Pierre Talpin

60,24 €

Formal Techniques for Distributed Objects, Components, and Systems

Mohammad Reza Mousavi, Anna Philippou

64,88 €

Formal Aspects of Component Software

Javier Cámara, Sung-Shik Jongmans

60,24 €

Integrated Formal Methods

Brijesh Dongol, Elena Troubitsyna

46,34 €

Formal Aspects of Component Software

Gwen Salaün, Anton Wijs

41,70 €

Software Engineering and Formal Methods

Alexandre Madeira, Alexander Knapp

64,88 €

Software Engineering and Formal Methods

Bernd-Holger Schlingloff, Ming Chai

60,24 €

Advances in Cryptology – ASIACRYPT 2016

Jung Hee Cheon, Tsuyoshi Takagi

83,42 €

Verification, Model Checking, and Abstract Interpretation

Cezara Dragoi, Michael Emmi, Jingbo Wang

69,51 €

Information Security

Matt Bishop, Anderson C A Nascimento

46,34 €

NASA Formal Methods

Nathaniel Benz, Divya Gopinath, Nija Shi

111,23 €

Software Engineering and Formal Methods

Carla Ferreira, Tim A. C. Willemse

60,24 €

Formal Aspects of Component Software

Zhiming Liu, Jinyun Xue, José Luiz Fiadeiro

46,34 €

Fundamentals of Software Engineering

Hossein Hojjat, Mieke Massink

64,88 €

Testing Software and Systems

Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün

46,34 €

Formal Methods and Software Engineering

Adrian Riesco, Min Zhang

46,34 €

NASA Formal Methods

Clark Barrett, Misty Davies, Temesghen Kahsai

46,34 €

Verified Software. Theories, Tools, and Experiments

Andrei Paskevich, Thomas Wies

46,34 €

Progress in Cryptology – INDOCRYPT 2016

Somitra Kumar Sanadhya, Orr Dunkelman

46,34 €

Theoretical Aspects of Software Engineering

Philipp Rümmer, Zhilin Wu

69,51 €

Static Analysis

Hakjoo Oh, Yulei Sui

67,66 €

Database and Expert Systems Applications

Sven Hartmann, Hui Ma

46,34 €

Information Security Practice and Experience

Chunhua Su, Hiroaki Kikuchi

46,34 €

SOFSEM 2018: Theory and Practice of Computer Science

A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jiří Wiedermann

46,34 €

Innovative Security Solutions for Information Technology and Communications

Mihai Doinea, Helge Janicke, Giampaolo Bella

69,51 €

Formal Methods for Industrial Critical Systems

Jan Friso Groote, Marieke Huisman

64,88 €

Formal Aspects of Component Software

Kyungmin Bae, Peter Csaba Ölveczky

46,34 €

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

Tiziana Margaria, Bernhard Steffen

74,15 €

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Pierre Schaus

74,15 €

Information Security

Javier Lopez, Chris J. Mitchell

46,34 €

Topics in Cryptology – CT-RSA 2018

Nigel P. Smart

46,34 €

Next Generation Arithmetic

John Gustafson, Vassil Dimitrov

55,61 €

Formal Aspects of Component Software

Diego Marmsoler, Meng Sun

50,97 €

Similarity Search and Applications

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

60,24 €

Automated Technology for Verification and Analysis

Dang Van Hung, Oleg Sokolsky

46,34 €

Programming Languages and Systems

Bruno C. d. S. Oliveira

46,34 €

Verification, Model Checking, and Abstract Interpretation

Bernd Finkbeiner, Thomas Wies

83,42 €

Computer Security – ESORICS 2017

Simon N. Foley, Dieter Gollmann, Einar Snekkenes

46,34 €

Constructive Side-Channel Analysis and Secure Design

Guido Marco Bertoni, Francesco Regazzoni

46,34 €

Advances in Cryptology – ASIACRYPT 2025

Goichiro Hanaoka, Bo-Yin Yang

83,42 €

Information Security and Cryptology – ICISC 2017

Howon Kim, Dong-Chan Kim

46,34 €

Advances in Cryptology – CRYPTO 2017

Jonathan Katz, Hovav Shacham

83,42 €

Autres livres de l'auteur

Avez-vous aimé le livre ?

Soyez la première personne à noter ce livre et à laisser un avis !

Vos paramètres de confidentialité

Runtime Verification

Résumé

À propos de ce livre

Détails du livre

Comment lire

In this series

Integrated Formal Methods

Theoretical Aspects of Computing – ICTAC 2023

Quantitative Evaluation of Systems

Lectures semblables

Fundamental Approaches to Software Engineering

Formal Methods

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Computer Aided Verification

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

Formal Methods

Computer Aided Verification

Big Data Analytics and Knowledge Discovery

Computer Aided Verification

Computer Aided Verification

Advances in Information and Computer Security

Encyclopedia of Computer Science and Technology

Runtime Verification

Runtime Verification

Runtime Verification

Dependable Software Engineering. Theories, Tools, and Applications

Runtime Verification

Theoretical Aspects of Software Engineering

Runtime Verification

Verification, Model Checking, and Abstract Interpretation

Formal Methods and Software Engineering

Formal Methods for Industrial Critical Systems

Software Engineering and Formal Methods

NASA Formal Methods

Theoretical Aspects of Software Engineering

Model Checking Software

Model Checking Software

Formal Methods and Software Engineering

Runtime Verification

Formal Methods

Automated Technology for Verification and Analysis

Foundations and Practice of Security

Lectures on Runtime Verification

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

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

Integrated Formal Methods

Runtime Verification

Similarity Search and Applications

Formal Methods

Database and Expert Systems Applications

Integration of Reusable Systems

Automated Technology for Verification and Analysis

Dependable Software Engineering. Theories, Tools, and Applications

Dependable Software Engineering. Theories, Tools, and Applications

Integrated Formal Methods

NASA Formal Methods

Theoretical Aspects of Software Engineering

The Semantic Web

Static Analysis

Dependable Software Engineering. Theories, Tools, and Applications

Formal Techniques for Distributed Objects, Components, and Systems

Formal Aspects of Component Software

Integrated Formal Methods

Formal Aspects of Component Software

Software Engineering and Formal Methods

Software Engineering and Formal Methods

Advances in Cryptology – ASIACRYPT 2016

Verification, Model Checking, and Abstract Interpretation

Information Security

NASA Formal Methods

Software Engineering and Formal Methods

Formal Aspects of Component Software

Fundamentals of Software Engineering

Testing Software and Systems

Formal Methods and Software Engineering