skip to content
Verification and evaluation of computer and communication systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings Preview this item
ClosePreview this item
Checking...

Verification and evaluation of computer and communication systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings /
Verification and evaluation of computer and communication systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings

Author: Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofi�ene Tahar (editions.). Tahar, Sofi�ene, ; ; Kamel Barkaoui; Hanifa Boucheneb; Ali Mili; Sofiène Tahar
Publisher: Cham, Switzerland : Springer, 2017.
Series: Lecture notes in computer science, 10466.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the proceedings of the 11th International Conference International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017. The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions. The aim of the VECoS conference is to bring together  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofi�ene Tahar (editions.). Tahar, Sofi�ene, ; ; Kamel Barkaoui; Hanifa Boucheneb; Ali Mili; Sofiène Tahar
ISBN: 9783319661766 3319661760 3319661752 9783319661759
OCLC Number: 1001806798
Notes: International conference proceedings.
Includes author index.
Description: 1 online resource (xvi, 205 pages) : illustrations.
Contents: Distributed computing models.- Formal languages and automata theory.- Concurrency.- Probabilistic computation --
Timed and hybrid models.- Formal software verification.- Model verification and validation.- Performance evaluation --
Control methods --
Modeling methodologies --
Model development and analysis --
Modeling and simulation.- Formal mehods.
Series Title: Lecture notes in computer science, 10466.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: VECoS 2017
Responsibility: Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar (eds.).

Abstract:

This book constitutes the proceedings of the 11th International Conference International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017. The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance and dependability evalu-ation 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 in terrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and dis-tributed hardware/software systems.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/1001806798> # Verification and evaluation of computer and communication systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "1001806798" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4428774147#Topic/computer_software_verification> ; # Computer software--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/4428774147#Topic/computer_networks_evaluation> ; # Computer networks--Evaluation
    schema:about <http://experiment.worldcat.org/entity/work/data/4428774147#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
    schema:about <http://experiment.worldcat.org/entity/work/data/4428774147#Topic/algorithm_analysis_and_problem_complexity> ; # Algorithm Analysis and Problem Complexity
    schema:about <http://experiment.worldcat.org/entity/work/data/4428774147#Topic/computer_science> ; # Computer Science
    schema:about <http://dewey.info/class/004.36/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4428774147#Topic/operating_systems> ; # Operating Systems
    schema:about <http://experiment.worldcat.org/entity/work/data/4428774147#Topic/programming_techniques> ; # Programming Techniques
    schema:about <http://experiment.worldcat.org/entity/work/data/4428774147#Topic/artificial_intelligence_incl_robotics> ; # Artificial Intelligence (incl. Robotics)
    schema:about <http://experiment.worldcat.org/entity/work/data/4428774147#Topic/software_engineering> ; # Software Engineering
    schema:alternateName "VECoS 2017" ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/4428774147#Meeting/vecos_conference_11th_2017_montreal_quebec> ; # VECoS (Conference) (11th : 2017 : Montréal, Québec)
    schema:datePublished "2017" ;
    schema:description "This book constitutes the proceedings of the 11th International Conference International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017. The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance and dependability evalu-ation 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 in terrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and dis-tributed hardware/software systems."@en ;
    schema:description "Distributed computing models.- Formal languages and automata theory.- Concurrency.- Probabilistic computation -- Timed and hybrid models.- Formal software verification.- Model verification and validation.- Performance evaluation -- Control methods -- Modeling methodologies -- Model development and analysis -- Modeling and simulation.- Formal mehods."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/4428774147#Person/boucheneb_hanifa> ; # Hanifa Boucheneb
    schema:editor <http://experiment.worldcat.org/entity/work/data/4428774147#Person/barkaoui_kamel> ; # Kamel Barkaoui
    schema:editor <http://experiment.worldcat.org/entity/work/data/4428774147#Person/tahar_sofiene_1966> ; # Sofiène Tahar
    schema:editor <http://experiment.worldcat.org/entity/work/data/4428774147#Person/mili_ali> ; # Ali Mili
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4428774147> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4428774147#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4428774147#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    schema:isSimilarTo <http://worldcat.org/entity/work/data/4428774147#CreativeWork/> ;
    schema:name "Verification and evaluation of computer and communication systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings"@en ;
    schema:productID "1001806798" ;
    schema:url <http://proxy.ohiolink.edu:9099/login?url=http://link.springer.com/10.1007/978-3-319-66176-6> ;
    schema:url <http://link.springer.com/10.1007/978-3-319-66176-6> ;
    schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/978-3-319-66176-6> ;
    schema:url <http://uproxy.library.dc-uoit.ca/login?url=http://link.springer.com/10.1007/978-3-319-66176-6> ;
    schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-66176-6> ;
    schema:url <http://ezaccess.libraries.psu.edu/login?url=http://dx.doi.org/10.1007/978-3-319-66176-6> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/9783319661766> ;
    schema:url <https://link.springer.com/10.1007/978-3-319-66176-6> ;
    schema:url <http://dx.doi.org/10.1007/978-3-319-66176-6> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/book/10.1007/978-3-319-66176-6> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks3/springer/2018-01-15/1/9783319661766> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://link.springer.com/10.1007/978-3-319-66176-6> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-319-66175-9> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-66176-6> ;
    schema:workExample <http://worldcat.org/isbn/9783319661766> ;
    schema:workExample <http://worldcat.org/isbn/9783319661759> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1001806798> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4428774147#Meeting/vecos_conference_11th_2017_montreal_quebec> # VECoS (Conference) (11th : 2017 : Montréal, Québec)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/4428774147#Place/montreal_quebec> ; # Montréal, Québec)
    schema:name "VECoS (Conference) (11th : 2017 : Montréal, Québec)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428774147#Person/barkaoui_kamel> # Kamel Barkaoui
    a schema:Person ;
    schema:familyName "Barkaoui" ;
    schema:givenName "Kamel" ;
    schema:name "Kamel Barkaoui" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428774147#Person/boucheneb_hanifa> # Hanifa Boucheneb
    a schema:Person ;
    schema:familyName "Boucheneb" ;
    schema:givenName "Hanifa" ;
    schema:name "Hanifa Boucheneb" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428774147#Person/tahar_sofiene_1966> # Sofiène Tahar
    a schema:Person ;
    schema:birthDate "1966" ;
    schema:familyName "Tahar" ;
    schema:givenName "Sofiène" ;
    schema:name "Sofiène Tahar" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428774147#Place/montreal_quebec> # Montréal, Québec)
    a schema:Place ;
    schema:name "Montréal, Québec)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428774147#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1001806798> ; # Verification and evaluation of computer and communication systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/4428774147#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1001806798> ; # Verification and evaluation of computer and communication systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
    schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428774147#Topic/algorithm_analysis_and_problem_complexity> # Algorithm Analysis and Problem Complexity
    a schema:Intangible ;
    schema:name "Algorithm Analysis and Problem Complexity"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4428774147#Topic/artificial_intelligence_incl_robotics> # Artificial Intelligence (incl. Robotics)
    a schema:Intangible ;
    schema:name "Artificial Intelligence (incl. Robotics)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4428774147#Topic/computer_networks_evaluation> # Computer networks--Evaluation
    a schema:Intangible ;
    schema:name "Computer networks--Evaluation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4428774147#Topic/computer_software_verification> # Computer software--Verification
    a schema:Intangible ;
    schema:name "Computer software--Verification"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4428774147#Topic/operating_systems> # Operating Systems
    a schema:Intangible ;
    schema:name "Operating Systems"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4428774147#Topic/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters
    a schema:Intangible ;
    schema:name "Programming Languages, Compilers, Interpreters"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4428774147#Topic/programming_techniques> # Programming Techniques
    a schema:Intangible ;
    schema:name "Programming Techniques"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4428774147#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
    schema:name "Software Engineering"@en ;
    .

<http://link.springer.com/10.1007/978-3-319-66176-6>
    rdfs:comment "Connect to resource" ;
    .

<http://rave.ohiolink.edu/ebooks/ebc/9783319661766>
    rdfs:comment "Connect to resource" ;
    .

<http://uproxy.library.dc-uoit.ca/login?url=http://link.springer.com/10.1007/978-3-319-66176-6>
    rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

<http://worldcat.org/entity/work/data/4428774147#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1001806798> ; # Verification and evaluation of computer and communication systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
    .

<http://worldcat.org/isbn/9783319661759>
    a schema:ProductModel ;
    schema:isbn "3319661752" ;
    schema:isbn "9783319661759" ;
    .

<http://worldcat.org/isbn/9783319661766>
    a schema:ProductModel ;
    schema:isbn "3319661760" ;
    schema:isbn "9783319661766" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1001806798> ; # Verification and evaluation of computer and communication systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/1001806798>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1001806798> ; # Verification and evaluation of computer and communication systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
    schema:dateModified "2018-09-08" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.