Loading…

Runtime verification third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers /

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012. The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed a...

Full description

Saved in:

Bibliographic Details
Corporate Authors:	RV (Conference) Istanbul, Turkey), SpringerLink (Online service)
Other Authors:	Qadeer, Shaz, Tasiran, Serdar
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, ©2013. Berlin ; New York : [2013]
Series:	Lecture notes in computer science ; 7687. LNCS sublibrary. Programming and software engineering.
Physical Description:	1 online resource.
Subjects:	Computer software -- Verification -- Congresses. Formal methods (Computer science) -- Congresses. Computer software -- Testing -- Congresses. Computer programs. computerwetenschappen. computer sciences. algoritmen. algorithms. computeranalyse. computer analysis. programmeertalen. programming languages. programmeren. programming. wiskunde. mathematics. logica. logic. Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen)
Online Access:	SpringerLink - Click here for access

Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers by RV (Conference) San Francisco, Calif.), SpringerLink (Online service)

Published: Springer, 2012

Description: 1 online resource (xii, 458 pages).

SpringerLink - Click here for access

Conference Proceeding eBook

Runtime verification third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers /

Similar Items

Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers by RV (Conference) San Francisco, Calif.), SpringerLink (Online service)

Runtime verification : 22nd international conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, proceedings by RV (Conference) Tʻbilisi, Georgia : Online), SpringerLink (Online service)

Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings by RV (Conference) Vienna, Austria), SpringerLink (Online service)

Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings by RV (Conference) Rennes, France), SpringerLink (Online service)

Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings by RV (Conference) Madrid, Spain), SpringerLink (Online service)

Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings by RV (Conference) Seattle, Wash.), SpringerLink (Online service)

Runtime verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings by RV (Conference) Porto, Portugal), SpringerLink (Online service)

Runtime verification : 21st international conference, RV 2021, virtual event, October 11-14, 2021 : proceedings by RV (Conference) Online), SpringerLink (Online service)

Runtime verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings by RV (Conference) Limassol, Cyprus), SpringerLink (Online service)

Runtime verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings by RV (Conference) Thessalonikē, Greece), SpringerLink (Online service)

Runtime verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings by RV (Conference) Toronto, Ontario), SpringerLink (Online service)

Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers by RV (Workshop) Vancouver, B.C.), SpringerLink (Online service)

Lectures on runtime verification : introductory and advanced topics by SpringerLink (Online service)

Runtime verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, selected papers by RV (Workshop) Grenoble, France), SpringerLink (Online service)

Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 : proceedings by RV (Conference) San Ġiljan, Malta), SpringerLink (Online service)

Runtime verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings by RV (Conference) Online), SpringerLink (Online service)

Formal approaches to software testing and runtime verification : first combined international workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised sele... by FATES/RV 2006 Seattle, Wash., SpringerLink (Online service)

Runtime Verification. 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected papers by RV (Workshop) Budapest, Hungary), SpringerLink (Online service)

Tests and proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings by TAP (Conference) Prague, Czech Republic), SpringerLink (Online service)

Leveraging applications of formal methods, verification and validation : applications and case studies ; 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October... by ISoLA (Symposium) Ērakleion, Greece), SpringerLink (Online service)

Leveraging applications of formal methods, verification and validation : technologies for mastering change ; 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, Octo... by ISoLA (Symposium) Ērakleion, Greece), SpringerLink (Online service)

Leveraging applications of formal methods, verification and validation : verification principles : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, pr... by ISoLA (Symposium) Rhodes, Greece), SpringerLink (Online service)

Tests and proofs : 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; proceedings by TAP 2010 Málaga, Spain, SpringerLink (Online service)

Tests and proofs : 5th international conference, TAP 2011, Zurich, Switzerland, June 30-July 1, 2011 : proceedings by TAP 2011 Zurich, Switzerland, SpringerLink (Online service)

Runtime verification : a hands-on approach in Java by Colombo, Christian

Leveraging applications of formal methods, verification and validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, Octo... by ISoLA (Symposium) Rhodes, Greece), SpringerLink (Online service)

Leveraging applications of formal methods, verification and validation : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, Octob... by ISoLA (Symposium) Online), SpringerLink (Online service)

Leveraging applications of formal methods, verification and validation : tools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rh... by ISoLA (Symposium) Online), SpringerLink (Online service)

Leveraging applications of formal methods, verification and validation : adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, pr... by ISoLA (Symposium) Rhodes, Greece), SpringerLink (Online service)

Leveraging applications of formal methods, verification and validation : adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, pr... by ISoLA (Symposium) Rhodes, Greece), SpringerLink (Online service)

Leveraging applications of formal methods, verification and validation : adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, pr... by ISoLA (Symposium) Rhodes, Greece), SpringerLink (Online service)

Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers by FoVeOOS (Conference) Paris, France), SpringerLink (Online service)

Formal verification of object-oriented software : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised selected papers by FoVeOOS (Conference) Turin, Italy), SpringerLink (Online service)

Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings by International Conference on Formal Engineering Methods Kyoto, Japan, SpringerLink (Online service)

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers by International Workshop on Formal Methods for Industrial Critical Systems L'Aquila, Italy, SpringerLink (Online service)

Leveraging applications of formal methods, verification, and validation : International Workshops SARS 2011 and MLSC 2011 held under the auspices of ISoLA 2011 in Vienna, Austria,... by SpringerLink (Online service), ISoLA (Symposium)

Formal methods for industrial critical systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings by International Workshop on Formal Methods for Industrial Critical Systems Florence, Italy, SpringerLink (Online service)

Similar Items