عنوان

Verification and evaluation of computer and communication systems :

شابک

3030003582

شابک

3030003590

شابک

3030003604

شابک

9783030003586

شابک

9783030003593

شابک

9783030003609

شابک اشتباه

9783030003586

عنوان اصلي

Verification and evaluation of computer and communication systems :

نام عام مواد

[Book]

ساير اطلاعات عنواني

12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings /

نام نخستين پديدآور

Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).

محل نشرو پخش و غیره

Cham, Switzerland :

نام ناشر، پخش کننده و غيره

Springer,

تاریخ نشرو بخش و غیره

2018.

نام خاص و کميت اثر

1 online resource (xiv, 219 pages) :

ساير جزييات

illustrations

عنوان فروست

Lecture notes in computer science ;

عنوان فروست

LNCS sublibrary. SL 1, Theoretical computer science and general issues

مشخصه جلد

11181

متن يادداشت

Includes author index.

متن يادداشت

Invited Papers -- Distributed Systems and Protocols -- Testing and Fault Detection -- Model Checking and State-Space Exploration -- Stochastic and Probabilistic Systems.

بدون عنوان

0

متن يادداشت

This book constitutes the proceedings of the 12th International Conference on Verification 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 verification, 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 verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems.

منبع سفارش / آدرس اشتراک

Springer Nature

شماره انبار

com.springer.onix.9783030003593

شماره استاندارد بين المللي کتاب و موسيقي

9783030003586

شماره استاندارد بين المللي کتاب و موسيقي

9783030003609

عنوان اصلي به زبان ديگر

VECoS 2018

موضوع مستند نشده

Computer networks-- Evaluation, Congresses.

موضوع مستند نشده

Computer software-- Verification, Congresses.

موضوع مستند نشده

Algorithms & data structures.

موضوع مستند نشده

Computer networks-- Evaluation.

موضوع مستند نشده

Computer programming-- software development.

موضوع مستند نشده

Computer software-- Verification.

موضوع مستند نشده

Computers-- General.

موضوع مستند نشده

Computers-- Hardware-- Handheld Devices.

موضوع مستند نشده

Computers-- Programming-- Algorithms.

موضوع مستند نشده

Computers-- Programming-- General.

موضوع مستند نشده

Computers-- Software Development & Engineering-- General.

موضوع مستند نشده

Information technology: general issues.

موضوع مستند نشده

Mathematical theory of computation.

موضوع مستند نشده

Mathematics-- Logic.

موضوع مستند نشده

Software Engineering.

موضوع مستند نشده

Systems analysis & design.

موضوع مستند نشده

COM051300

موضوع مستند نشده

UMB

موضوع مستند نشده

UMB

شماره

ويراست

شماره رده

مستند نام اشخاص تاييد نشده

Atig, Mohamed Faouzi

مستند نام اشخاص تاييد نشده

Bensalem, Saddek

مستند نام اشخاص تاييد نشده

Bliudze, Simon

مستند نام اشخاص تاييد نشده

Monsuez, Bruno

مستند نام تنالگان تاييد نشده

VECoS (Conference)(12th :2018 :, Grenoble, France)

تاريخ عمليات

20200823071708.0

قواعد فهرست نويسي ( بخش توصيفي )

pn

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y