Cover Image

QR Code

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. The 21 revised full papers 5 short papers and 7 tool papers presented together with 3 invited talks were carefull...

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	Cha, Sungdeok. (Editor, http://id.loc.gov/vocabulary/relators/edt), Choi, Jin-Young. (Editor, http://id.loc.gov/vocabulary/relators/edt), Kim, Moonzoo. (Editor, http://id.loc.gov/vocabulary/relators/edt), Viswanathan, Mahesh. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edition:	1st ed. 2008.
Series:	Programming and Software Engineering ; 5311
Subjects:	Computer communication systems. Computer logic. Computers. Special purpose computers. Software engineering. Programming languages (Electronic computers). Computer Communication Networks. Logics and Meanings of Programs. Information Systems and Communication Service. Special Purpose and Application-Based Systems. Software Engineering. Programming Languages, Compilers, Interpreters.
Online Access:	https://doi.org/10.1007/978-3-540-88387-6

Similar Items

Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings / edited by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti.
Published: (2017)

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp.
Published: (2016)

Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / edited by Manuel Núñez, Matthias Güdemann.
Published: (2015)

Innovation in Manufacturing Networks Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23-25, 2008 / edited by Américo Azevedo.
Published: (2008)

Industrial IoT Technologies and Applications 4th EAI International Conference, Industrial IoT 2020, Virtual Event, December 11, 2020, Proceedings / edited by Lourdes Peñalver, Lorena Parra.
Published: (2021)

Ad Hoc Networks 6th International ICST Conference, ADHOCNETS 2014, Rhodes, Greece, August 18-19, 2014, Revised Selected Papers / edited by Natalie Mitton, Antoine Gallais, Melike Erol Kantarci, Symeon Papavassiliou.
Published: (2014)

Benchmarking, Measuring, and Optimizing Third BenchCouncil International Symposium, Bench 2020, Virtual Event, November 15–16, 2020, Revised Selected Papers / edited by Felix Wolf, Wanling Gao.
Published: (2021)

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 / edited by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro.
Published: (2008)

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings / edited by Jérôme Durand-Lose, Sergey Verlan.
Published: (2018)

Formal Methods: Applications and Technology 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected / edited by Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol.
Published: (2007)

Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers / edited by Stefan Leue, Pedro Merino.
Published: (2008)

Ad Hoc Networks 5th International ICST Conference, ADHOCNETS 2013, Barcelona, Spain, October 2013, Revised Selected Papers / edited by Mostafa Hashem Sherif, Abdelhamid Mellouk, Jun Li, Paolo Bellavista.
Published: (2014)

Industrial Networks and Intelligent Systems 7th EAI International Conference, INISCOM 2021, Hanoi, Vietnam, April 22-23, 2021, Proceedings / edited by Nguyen-Son Vo, Van-Phuc Hoang, Quoc-Tuan Vien.
Published: (2021)

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings / edited by Michael Douglas Harrison, Mark-Alexander Sujan.
Published: (2008)

Computer Vision Systems 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers / edited by Ming Liu, Haoyao Chen, Markus Vincze.
Published: (2017)

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures / edited by Zhiming Liu, Zili Zhang.
Published: (2016)

Communication Systems and Networks 10th International Conference, COMSNETS 2018, Bangalore, India, January 3-7, 2018, Extended Selected Papers / edited by Subir Biswas, Animesh Mukherjee, Mun Choon Chan, Sandip Chakraborty, Abhinav Kumar, Giridhar Mandyam, Rajeev Shorey.
Published: (2019)

Applied Reconfigurable Computing. Architectures, Tools, and Applications 16th International Symposium, ARC 2020, Toledo, Spain, April 1–3, 2020, Proceedings / edited by Fernando Rincón, Jesús Barba, Hayden K. H. So, Pedro Diniz, Julián Caba.
Published: (2020)

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings / edited by Michael Dierkes, Charles Pecheur.
Published: (2013)

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings / edited by Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura.
Published: (2007)

Ingredients for Successful System Level Design Methodology by Hiren D. Patel, Sandeep Kumar Shukla.
by: Patel, Hiren D., et al.
Published: (2008)

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL’06 / edited by Sorin Alexander Huss.
Published: (2007)

Cloud Computing – CLOUD 2020 13th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings / edited by Qi Zhang, Yingwei Wang, Liang-Jie Zhang.
Published: (2020)

Advanced Network Programming – Principles and Techniques Network Application Programming with Java / by Bogdan Ciubotaru, Gabriel-Miro Muntean.
by: Ciubotaru, Bogdan., et al.
Published: (2013)

E-Government ICT Professionalism and Competences Service Science IFIP 20th World Computer Congress, Industry Oriented Conferences, September 7-10, 2008, Milano, Italy / edited by Antonino Mazzeo, Roberto Bellini, Gianmario Motta.
Published: (2008)

Agent-Oriented Software Engineering Reflections on Architectures, Methodologies, Languages, and Frameworks / edited by Onn Shehory, Arnon Sturm.
Published: (2014)

Artificial Intelligence for Communications and Networks First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part II / edited by Shuai Han, Liang Ye, Weixiao Meng.
Published: (2019)

Biomimetic and Biohybrid Systems 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings / edited by Vasiliki Vouloutsi, José Halloy, Anna Mura, Michael Mangan, Nathan Lepora, Tony J. Prescott, Paul F.M.J. Verschure.
Published: (2018)

Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III / edited by Kang Li, Jianhua Zhang, Minyou Chen, Zhile Yang, Qun Niu.
Published: (2018)

Intelligent Computing and Internet of Things First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part II / edited by Kang Li, Minrui Fei, Dajun Du, Zhile Yang, Dongsheng Yang.
Published: (2018)

Context-Aware Systems and Applications, and Nature of Computation and Communication 6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam Ky, Vietnam, November 23-24, 2017, Proceedings / edited by Phan Cong Vinh, Nguyen Ha Huy Cuong, Emil Vassev.
Published: (2018)

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures / edited by Marco Bernardo, Jane Hillston.
Published: (2007)

Big Data, Machine Learning, and Applications First International Conference, BigDML 2019, Silchar, India, December 16–19, 2019, Revised Selected Papers / edited by Ripon Patgiri, Sivaji Bandyopadhyay, Malaya Dutta Borah, Dalton Meitei Thounaojam.
Published: (2020)

Leveraging Applications of Formal Methods, Verification and Validation: Applications 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2020)

Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers / edited by Dalibor Klusáček, Walfredo Cirne, Narayan Desai.
Published: (2018)

Communication Technologies for Vehicles 15th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2020, Bordeaux, France, November 16–17, 2020, Proceedings / edited by Francine Krief, Hasnaâ Aniss, Léo Mendiboure, Serge Chaumette, Marion Berbineau.
Published: (2020)

Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings / edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
Published: (2019)

Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings / edited by Francisco F. Rivera, Tomás F. Pena, José C. Cabaleiro.
Published: (2017)

Functional and Constraint Logic Programming 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers / edited by Michael Hanus, Claudio Sacerdoti Coen.
Published: (2021)

Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d' Ascq, France, May 14-15, 2013, Proceedings / edited by Marion Berbineau, Magnus Jonsson, Jean-Marie Bonnin, Soumaya Cherkaoui, MARINA AGUADO, Cristina Rico-Garcia, Hassan Ghannoum, Rashid Mehmood, Alexey Vinel.
Published: (2013)