Cover Image

Hardware and software verification and testing, 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011 : revised selected papers

Main Author: Kerstin Eder, editor
Format: Book Bachelors
Terbitan: Springer-Verlag , 2012
Subjects:
Computer programs > Verification > Congresses
Software architecture > Congresses
Computer programs > Verification
Software architecture
Online Access: http://lib.ui.ac.id/file?file=digital/2015-8/20407813-Hardware and Software- Verification and Testing.pdf
ctrlnum 20407813
fullrecord <?xml version="1.0"?> <dc schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd"><title>Hardware and software : verification and testing, 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011 : revised selected papers</title><creator>Kerstin Eder, editor</creator><type>Book:Book</type><place>Berlin</place><publisher>Springer-Verlag</publisher><date>2012</date><description>This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.</description><subject>Computer programs -- Verification -- Congresses</subject><subject>Software architecture -- Congresses</subject><subject>Computer programs -- Verification</subject><subject>Software architecture</subject><identifier>20407813</identifier><source>http://lib.ui.ac.id/file?file=digital/2015-8/20407813-Hardware and Software- Verification and Testing.pdf</source><recordID>20407813</recordID></dc>
format Book:Book
Book
Thesis:Bachelors
Thesis
author Kerstin Eder, editor
title Hardware and software : verification and testing, 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011 : revised selected papers
title_sub verification and testing, 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011 : revised selected papers
publisher Springer-Verlag
publishDate 2012
topic Computer programs -- Verification -- Congresses
Software architecture -- Congresses
Computer programs -- Verification
Software architecture
url http://lib.ui.ac.id/file?file=digital/2015-8/20407813-Hardware and Software- Verification and Testing.pdf
contents This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.
id IOS18064.20407813
institution Universitas Indonesia
institution_id 51
institution_type library:university
library
library Perpustakaan Universitas Indonesia
library_id 492
collection Repository Skripsi (open) Universitas Indonesia
repository_id 18064
city KOTA DEPOK
province JAWA BARAT
repoId IOS18064
first_indexed 2022-12-13T09:20:57Z
last_indexed 2022-12-13T09:20:57Z
recordtype dc
merged_child_boolean 1
_version_ 1752199956175781888
score 17.13294

Lihat Juga