LEADER 04055nam  22007815  450 
001 996466329003316
005 20230330000221.0
010   $a3-030-00359-0
024 7 $a10.1007/978-3-030-00359-3
035   $a(CKB)4100000006675120
035   $a(DE-He213)978-3-030-00359-3
035   $a(MiAaPQ)EBC6302174
035   $a(PPN)230538614
035   $a(EXLCZ)994100000006675120
100   $a20180830d2018      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aVerification and Evaluation of Computer and Communication Systems$b[electronic resource] $e12th International Conference, VECoS 2018, Grenoble, France, September 26?28, 2018, Proceedings /$fedited by Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XIV, 219 p. 66 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11181
311   $a3-030-00358-2 
320   $aIncludes bibliographical references and index.
327   $aInvited Papers -- Distributed Systems and Protocols -- Testing and Fault Detection -- Model Checking and State-Space Exploration -- Stochastic and Probabilistic Systems.
330   $aThis book constitutes the proceedings of the 12th International Conference on Veri?cation 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 veri?cation, 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 veri?cation and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11181
606   $aAlgorithms
606   $aComputer science
606   $aMachine theory
606   $aSoftware engineering
606   $aElectronic digital computers?Evaluation
606   $aComputers
606   $aProfessions
606   $aAlgorithms
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aSoftware Engineering
606   $aSystem Performance and Evaluation
606   $aThe Computing Profession
615  0$aAlgorithms.
615  0$aComputer science.
615  0$aMachine theory.
615  0$aSoftware engineering.
615  0$aElectronic digital computers?Evaluation.
615  0$aComputers.
615  0$aProfessions.
615 14$aAlgorithms.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aSoftware Engineering.
615 24$aSystem Performance and Evaluation.
615 24$aThe Computing Profession.
676   $a001.64404
702   $aAtig$b Mohamed Faouzi$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBensalem$b Saddek$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBliudze$b Simon$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMonsuez$b Bruno$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466329003316
996   $aVerification and Evaluation of Computer and Communication Systems$92809930
997   $aUNISA