Please use this identifier to cite or link to this item: http://localhost/handle/Hannan/846
Full metadata record
DC FieldValueLanguage
dc.contributor.authorAtig, Mohamed Faouzi. ; (orcid)0000-0001-8229-3481 ; http://orcid.org/0000-0001-8229-3481. ;en_US
dc.contributor.authorBensalem, Saddek. ;en_US
dc.contributor.authorBliudze, Simon. ; (orcid)0000-0002-7900-5271 ; http://orcid.org/0000-0002-7900-5271. ;en_US
dc.contributor.authorMonsuez, Bruno. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:22:37Z-
dc.date.available2020-05-17T08:22:37Z-
dc.date.issued2018en_US
dc.identifier.isbn9783030003593 ;en_US
dc.identifier.isbn9783030003586 (print) ;en_US
dc.identifier.isbn9783030003609 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/846-
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionPrinted edition: ; 9783030003586. ;en_US
dc.description005.1 ; 23 ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionPrinted edition: ; 9783030003609. ;en_US
dc.description.abstractThis book constitutes the proceedings of the 12th International Conference on Veriecation and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 2018. The 11 full papers in this volume, presented together with one abstract and two invited papers, were carefully reviewed and selected from 23 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of veriecation, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal veriecation and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems. ;en_US
dc.description.statementofresponsibilityedited by Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez.en_US
dc.description.tableofcontentsInvited Papers -- Distributed Systems and Protocols -- Testing and Fault Detection -- Model Checking and State-Space Exploration -- Stochastic and Probabilistic Systems. ;en_US
dc.format.extentXIV, 219 p. 66 illus. ; online resource. ;en_US
dc.publisherSpringer International Publishing :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesTheoretical Computer Science and General Issues ; ; 11181. ;en_US
dc.relation.ispartofseriesTheoretical Computer Science and General Issues ; ; 11181. ;en_US
dc.relation.haspart9783030003586.pdfen_US
dc.subjectComputer software. ;en_US
dc.subjectLogic design. ;en_US
dc.subjectComputer Scienceen_US
dc.subjectSoftware Engineeringen_US
dc.subjectComputer system performance. ;en_US
dc.subjectComputer industry. ;en_US
dc.subjectAlgorithm Analysis and Problem Complexity. ; http://scigraph.springernature.com/things/product-market-codes/I16021. ;en_US
dc.subjectLogics and Meanings of Programs. ; http://scigraph.springernature.com/things/product-market-codes/I1603X. ;en_US
dc.subjectMathematical Logic and Formal Languages. ; http://scigraph.springernature.com/things/product-market-codes/I16048. ;en_US
dc.subjectSoftware Engineeringen_US
dc.subjectSystem Performance and Evaluation. ; http://scigraph.springernature.com/things/product-market-codes/I13049. ;en_US
dc.subjectThe Computing Profession. ; http://scigraph.springernature.com/things/product-market-codes/I24075. ;en_US
dc.subject.lccQA76.9.A43 ;en_US
dc.titleVerification and Evaluation of Computer and Communication Systemsen_US
dc.title.alternative12th International Conference, VECoS 2018, Grenoble, France, September 26ee28, 2018, Proceedings /en_US
dc.typeBooken_US
dc.publisher.placeCham :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783030003586.pdf11.35 MBAdobe PDFThumbnail
Preview File
Full metadata record
DC FieldValueLanguage
dc.contributor.authorAtig, Mohamed Faouzi. ; (orcid)0000-0001-8229-3481 ; http://orcid.org/0000-0001-8229-3481. ;en_US
dc.contributor.authorBensalem, Saddek. ;en_US
dc.contributor.authorBliudze, Simon. ; (orcid)0000-0002-7900-5271 ; http://orcid.org/0000-0002-7900-5271. ;en_US
dc.contributor.authorMonsuez, Bruno. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:22:37Z-
dc.date.available2020-05-17T08:22:37Z-
dc.date.issued2018en_US
dc.identifier.isbn9783030003593 ;en_US
dc.identifier.isbn9783030003586 (print) ;en_US
dc.identifier.isbn9783030003609 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/846-
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionPrinted edition: ; 9783030003586. ;en_US
dc.description005.1 ; 23 ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionPrinted edition: ; 9783030003609. ;en_US
dc.description.abstractThis book constitutes the proceedings of the 12th International Conference on Veriecation and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 2018. The 11 full papers in this volume, presented together with one abstract and two invited papers, were carefully reviewed and selected from 23 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of veriecation, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal veriecation and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems. ;en_US
dc.description.statementofresponsibilityedited by Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez.en_US
dc.description.tableofcontentsInvited Papers -- Distributed Systems and Protocols -- Testing and Fault Detection -- Model Checking and State-Space Exploration -- Stochastic and Probabilistic Systems. ;en_US
dc.format.extentXIV, 219 p. 66 illus. ; online resource. ;en_US
dc.publisherSpringer International Publishing :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesTheoretical Computer Science and General Issues ; ; 11181. ;en_US
dc.relation.ispartofseriesTheoretical Computer Science and General Issues ; ; 11181. ;en_US
dc.relation.haspart9783030003586.pdfen_US
dc.subjectComputer software. ;en_US
dc.subjectLogic design. ;en_US
dc.subjectComputer Scienceen_US
dc.subjectSoftware Engineeringen_US
dc.subjectComputer system performance. ;en_US
dc.subjectComputer industry. ;en_US
dc.subjectAlgorithm Analysis and Problem Complexity. ; http://scigraph.springernature.com/things/product-market-codes/I16021. ;en_US
dc.subjectLogics and Meanings of Programs. ; http://scigraph.springernature.com/things/product-market-codes/I1603X. ;en_US
dc.subjectMathematical Logic and Formal Languages. ; http://scigraph.springernature.com/things/product-market-codes/I16048. ;en_US
dc.subjectSoftware Engineeringen_US
dc.subjectSystem Performance and Evaluation. ; http://scigraph.springernature.com/things/product-market-codes/I13049. ;en_US
dc.subjectThe Computing Profession. ; http://scigraph.springernature.com/things/product-market-codes/I24075. ;en_US
dc.subject.lccQA76.9.A43 ;en_US
dc.titleVerification and Evaluation of Computer and Communication Systemsen_US
dc.title.alternative12th International Conference, VECoS 2018, Grenoble, France, September 26ee28, 2018, Proceedings /en_US
dc.typeBooken_US
dc.publisher.placeCham :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783030003586.pdf11.35 MBAdobe PDFThumbnail
Preview File
Full metadata record
DC FieldValueLanguage
dc.contributor.authorAtig, Mohamed Faouzi. ; (orcid)0000-0001-8229-3481 ; http://orcid.org/0000-0001-8229-3481. ;en_US
dc.contributor.authorBensalem, Saddek. ;en_US
dc.contributor.authorBliudze, Simon. ; (orcid)0000-0002-7900-5271 ; http://orcid.org/0000-0002-7900-5271. ;en_US
dc.contributor.authorMonsuez, Bruno. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:22:37Z-
dc.date.available2020-05-17T08:22:37Z-
dc.date.issued2018en_US
dc.identifier.isbn9783030003593 ;en_US
dc.identifier.isbn9783030003586 (print) ;en_US
dc.identifier.isbn9783030003609 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/846-
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionPrinted edition: ; 9783030003586. ;en_US
dc.description005.1 ; 23 ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionPrinted edition: ; 9783030003609. ;en_US
dc.description.abstractThis book constitutes the proceedings of the 12th International Conference on Veriecation and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 2018. The 11 full papers in this volume, presented together with one abstract and two invited papers, were carefully reviewed and selected from 23 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of veriecation, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal veriecation and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems. ;en_US
dc.description.statementofresponsibilityedited by Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez.en_US
dc.description.tableofcontentsInvited Papers -- Distributed Systems and Protocols -- Testing and Fault Detection -- Model Checking and State-Space Exploration -- Stochastic and Probabilistic Systems. ;en_US
dc.format.extentXIV, 219 p. 66 illus. ; online resource. ;en_US
dc.publisherSpringer International Publishing :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesTheoretical Computer Science and General Issues ; ; 11181. ;en_US
dc.relation.ispartofseriesTheoretical Computer Science and General Issues ; ; 11181. ;en_US
dc.relation.haspart9783030003586.pdfen_US
dc.subjectComputer software. ;en_US
dc.subjectLogic design. ;en_US
dc.subjectComputer Scienceen_US
dc.subjectSoftware Engineeringen_US
dc.subjectComputer system performance. ;en_US
dc.subjectComputer industry. ;en_US
dc.subjectAlgorithm Analysis and Problem Complexity. ; http://scigraph.springernature.com/things/product-market-codes/I16021. ;en_US
dc.subjectLogics and Meanings of Programs. ; http://scigraph.springernature.com/things/product-market-codes/I1603X. ;en_US
dc.subjectMathematical Logic and Formal Languages. ; http://scigraph.springernature.com/things/product-market-codes/I16048. ;en_US
dc.subjectSoftware Engineeringen_US
dc.subjectSystem Performance and Evaluation. ; http://scigraph.springernature.com/things/product-market-codes/I13049. ;en_US
dc.subjectThe Computing Profession. ; http://scigraph.springernature.com/things/product-market-codes/I24075. ;en_US
dc.subject.lccQA76.9.A43 ;en_US
dc.titleVerification and Evaluation of Computer and Communication Systemsen_US
dc.title.alternative12th International Conference, VECoS 2018, Grenoble, France, September 26ee28, 2018, Proceedings /en_US
dc.typeBooken_US
dc.publisher.placeCham :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783030003586.pdf11.35 MBAdobe PDFThumbnail
Preview File