Runtime verification : :: SCD d'Orléans

Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013 : proceedings

Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013 : proceedings

This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected fr...

Полное описание

Сохранить в:

Библиографические подробности
Главный автор:	Legay, Axel
Другие авторы:	Bensalem, Saddek (Публикующий директор)
Формат:	Livre numérique
Язык:	Anglais
Опубликовано:	Berlin, Heidelberg : Springer Berlin Heidelberg [20..]. Cham : Springer Nature
Серии:	Programming and Software Engineering 8174
Online-ссылка:	Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Примечание:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Runtime Verification, Texte imprimé, 9783642407864 • Runtime Verification, Texte imprimé, 9783642407888

Схожие документы

Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Post-silicon and runtime verification for modern processors
по: Wagner, Ilya, 19..-, и др.

Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
по: Sharygina, Natasha
Опубликовано: (2013)

QoS-Based Optimization of Runtime Management of Sensing Cloud Applications
по: Gotin, Manuel
Опубликовано: (2022)

Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013 : proceedings
Опубликовано: (2013)

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27 31, 2002 : proceedings

Automated Technology for Verification and Analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings

Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings

Computer aided verification : 11th International Conference, CAV 99, Trento, Italy, July 6 10, 1999 : proceedings

La vérification
по: Granger, Gilles-Gaston, 1920-2016
Опубликовано: (1991)

La Vérification
по: Granger, Gilles-Gaston, 1920-2016
Опубликовано: (2022)

Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings

Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings

Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings

Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 July 2, 1998 : proceedings

Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings

Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings

Computer aided verification : ; proceedings 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004

Computer aided verification : ; proceedings 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings

Verification Plans : The Five-Day Verification Strategy for Modern Hardware Verification Languages
по: James, Peet

Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4 7, 2001 : proceedings

Professional Verification : A Guide to Advanced Functional Verification
по: Wilcox, Paul

Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
по: Dershowitz, Nachum, 1951-

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
по: Steffen, Bernhard, 1956-

Computational Logistics : 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings
по: Pacino, Dario

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings

Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18 21, 1990 : proceedings

Verification by Error Modeling : Using Testing Techniques in Hardware Verification
по: Radecka, Katarzyna, и др.

Logic Synthesis and Verification

Standardized Functional Verification
по: Wiemann, Alan
Опубликовано: (2008)

Compiler specification and verification
по: Polak, Wolfgang, 1950-

Constraint-Based Verification
по: Yuan, Jun, и др.
Опубликовано: (2006)

Computer Aided Verification
Опубликовано: (2021)

Computer Aided Verification
Опубликовано: (2025)

Computer Aided Verification
Опубликовано: (2021)

Computer Aided Verification
Опубликовано: (2021)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales