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...
Saved in:
Corporate Authors: | , |
---|---|
Other Authors: | , |
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: | |
Online Access: | SpringerLink - Click here for access |
Similar Items
Search Result 1
Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers
Published: Springer, 2012
SpringerLink - Click here for access
Description:
1 online resource (xii, 458 pages).
Conference Proceeding
eBook
Search Result 2
Runtime verification : 22nd international conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, proceedings
Published: Springer, 2022
SpringerLink - Click here for access
Description:
1 online resource (xii, 347 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 3
Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings
Published: Springer, 2015
SpringerLink - Click here for access
Description:
1 online resource (xiv, 396 pages) : illustrations.
Conference Proceeding
eBook
Search Result 4
Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings
Published: Springer, 2013
SpringerLink - Click here for access
Description:
1 online resource (xvii, 426 pages).
Conference Proceeding
eBook
Search Result 5
Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Published: Springer, 2016
SpringerLink - Click here for access
Description:
1 online resource (xxi, 512 pages) : illustrations.
Conference Proceeding
eBook
Search Result 6
Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
Published: Springer, 2017
SpringerLink - Click here for access
Description:
1 online resource (xix, 432 pages) : illustrations.
Conference Proceeding
eBook
Search Result 7
Runtime verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings
Published: Springer, 2019
SpringerLink - Click here for access
Description:
1 online resource (x, 413 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 8
Runtime verification : 21st international conference, RV 2021, virtual event, October 11-14, 2021 : proceedings
Published: Springer, 2021
SpringerLink - Click here for access
Description:
1 online resource : illustrations (some color).
Conference Proceeding
eBook
Search Result 9
Runtime verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings
Published: Springer, 2018
SpringerLink - Click here for access
Description:
1 online resource (xi, 470 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 10
Runtime verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings
Published: Springer, 2023
SpringerLink - Click here for access
Description:
1 online resource (xi, 490 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 11
Runtime verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Published: Springer, 2014
SpringerLink - Click here for access
Description:
1 online resource (xviii, 358 pages) : illustrations.
Conference Proceeding
eBook
Search Result 12
Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers
Published: Springer, 2007
SpringerLink - Click here for access
Description:
1 online resource (viii, 213 pages) : illustrations.
Conference Proceeding
eBook
Search Result 13
Lectures on runtime verification : introductory and advanced topics
Published: Springer, 2018
SpringerLink - Click here for access
Description:
1 online resource (VII, 233 pages) : illustrations.
eBook
Search Result 14
Runtime verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, selected papers
Published: Springer-Verlag, 2009
SpringerLink - Click here for access
Description:
1 online resource (201 pages) : illustrations.
Conference Proceeding
eBook
Search Result 15
Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 : proceedings
Published: Springer, 2010
SpringerLink - Click here for access
Description:
1 online resource (xiii, 492 pages) : illustrations.
Conference Proceeding
eBook
Search Result 16
Runtime verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings
Published: Springer, 2020
SpringerLink - Click here for access
Description:
1 online resource (xix, 538 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 17
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...
Published: Springer, 2006
SpringerLink - Click here for access
Description:
1 online resource (viii, 253 pages) : illustrations.
Conference Proceeding
eBook
Search Result 18
Runtime Verification. 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected papers
Published: Springer-Verlag, 2008
SpringerLink - Click here for access
Description:
1 online resource.
Conference Proceeding
eBook
Search Result 19
Tests and proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings
Published: Springer, 2012
SpringerLink - Click here for access
Description:
1 online resource.
Conference Proceeding
eBook
Search Result 20
Leveraging applications of formal methods, verification and validation : applications and case studies ; 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October...
Published: Springer, 2012
SpringerLink - Click here for access
Description:
1 online resource (xvi, 361 pages) : illustrations.
Conference Proceeding
eBook
Search Result 21
Leveraging applications of formal methods, verification and validation : technologies for mastering change ; 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, Octo...
Published: Springer, 2012
SpringerLink - Click here for access
Description:
1 online resource (xvi, 617 pages) : illustrations.
Conference Proceeding
eBook
Search Result 22
Leveraging applications of formal methods, verification and validation : verification principles : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, pr...
Published: Springer, 2022
SpringerLink - Click here for access
Description:
1 online resource (xiii, 598 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 23
Tests and proofs : 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; proceedings
Published: Springer, 2010
SpringerLink - Click here for access
Description:
1 online resource (x, 182 pages) : illustrations.
Conference Proceeding
eBook
Search Result 24
Tests and proofs : 5th international conference, TAP 2011, Zurich, Switzerland, June 30-July 1, 2011 : proceedings
Published: Springer, 2011
SpringerLink - Click here for access
Description:
1 online resource (x, 204 pages) : illustrations.
Conference Proceeding
eBook
Search Result 25
Runtime verification : a hands-on approach in Java
Published: Springer, 2022
SpringerLink - Click here for access
Description:
1 online resource.
eBook
Search Result 26
Leveraging applications of formal methods, verification and validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, Octo...
Published: Springer, 2021
SpringerLink - Click here for access
Description:
1 online resource (505 pages).
Conference Proceeding
eBook
Search Result 27
Leveraging applications of formal methods, verification and validation : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, Octob...
Published: Springer, 2020
SpringerLink - Click here for access
Description:
1 online resource : illustrations.
Conference Proceeding
eBook
Search Result 28
Leveraging applications of formal methods, verification and validation : tools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rh...
Published: Springer, 2021
SpringerLink - Click here for access
Description:
1 online resource : illustrations (chiefly color).
Conference Proceeding
eBook
Search Result 29
Leveraging applications of formal methods, verification and validation : adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, pr...
Published: Springer, 2022
SpringerLink - Click here for access
Description:
1 online resource (xiii, 424 pages) : illustrations (chiefly color).
Conference Proceeding
eBook
Search Result 30
Leveraging applications of formal methods, verification and validation : adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, pr...
Published: Springer, 2022
SpringerLink - Click here for access
Description:
1 online resource (xiii, 474 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 31
Leveraging applications of formal methods, verification and validation : adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, pr...
Published: Springer, 2022
SpringerLink - Click here for access
Description:
1 online resource (xiii, 427 pages) : illustrations (chiefly color).
Conference Proceeding
eBook
Search Result 32
Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers
Published: Springer, 2011
SpringerLink - Click here for access
Description:
1 online resource (x, 197 pages) : illustrations.
Conference Proceeding
eBook
Search Result 33
Formal verification of object-oriented software : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised selected papers
Published: Springer, 2012
SpringerLink - Click here for access
Description:
1 online resource (x, 249 pages) : illustrations.
Conference Proceeding
eBook
Search Result 34
Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop o...
Published: Springer, 2016
SpringerLink - Click here for access
Description:
1 online resource (xvi, 247 pages) : illustrations.
Conference Proceeding
eBook
Search Result 35
Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings
Published: Springer, 2012
SpringerLink - Click here for access
Description:
1 online resource (xiv, 512 pages) : illustrations.
Conference Proceeding
eBook
Search Result 36
Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers
Published: Springer, 2009
SpringerLink - Click here for access
Description:
1 online resource (x, 231 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 37
Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop o...
Published: Springer, 2017
SpringerLink - Click here for access
Description:
1 online resource (xiv, 235 pages) : illustrations.
Conference Proceeding
eBook
Search Result 38
Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 :...
Published: Springer, 2007
SpringerLink - Click here for access
Description:
1 online resource (x, 361 pages) : illustrations.
Conference Proceeding
eBook
Search Result 39
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,...
Published: Springer, 2012
SpringerLink - Click here for access
Description:
1 online resource (xii, 261 pages).
Conference Proceeding
eBook
Search Result 40
Formal methods for industrial critical systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings
Published: Springer, 2014
SpringerLink - Click here for access
Description:
1 online resource (xiv, 201 pages) : illustrations.
Conference Proceeding
eBook