Verification and Evaluation of Computer and Communication Systems 14th International Conference, VECoS 2020, Xi'an, China, October 2627, 2020, Lecture Notes in Computer Science, 12519

Belgacem Ben Hedia

Verification and Evaluation of Computer and Communication Systems 14th International Conference, VECoS 2020, Xi'an, China, October 2627, 2020,  Lecture Notes in Computer Science, 12519 - 1
Estado : Novo
Vendido por
4,6 3 998 vendas
País de expedição : Reino Unido

Comentários do vendedor

Livro novo; R�pido do Reino Unido; N�o ficar� desapontado - New book; Fast from the UK; Will not be disappointed

Colocar uma questão ao vendedor
Resumo
Ver tudo
Verification and Evaluation of Computer and Communication Systems 14th International Conference, VECoS 2020, Xi'an, China, October 2627, 2020, Lecture Notes in Computer Science, 12519
Petri-Net, Simulation, and Scheduling.- An Approach for Supervisor Reduction of Discrete-event Systems.- Multi-robot path planning using Petri nets.- Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets With Novel Colored Capacity.- The Modeling and Simulation on SRM Drive System Using Variable...

70,98 €
Entrega pelo vendedor parceiro

Entrega Envio com tracking: gratuito Entregue em 2 a 3 semanas

Resumo

Verification and Evaluation of Computer and Communication Systems 14th International Conference, VECoS 2020, Xi'an, China, October 2627, 2020, Lecture Notes in Computer Science, 12519

Petri-Net, Simulation, and Scheduling.- An Approach for Supervisor Reduction of Discrete-event Systems.- Multi-robot path planning using Petri nets.- Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets With Novel Colored Capacity.- The Modeling and Simulation on SRM Drive System Using Variable-proportional-desaturation PI Regulator.- Vehicle Scheduling Problem in Terminals: a Review.- Coverage Analysis of Net Inscriptions in Coloured Petri Net Models.- ON/OFF control trajectory computation for steady state reaching in batches Petri nets.- Towards efficient partial order techniques for time Petri nets.- Towards a Generic Framework for Formal Verification and Performance Analysis of Real-time Scheduling Algorithms.- Accurate Strategy for Mixed Criticality Scheduling.- Formal Modeling and Verification, Testing.- Model-based Design of Resilient Systems Using Quantitative Risk Assessment.- An Evaluation of Estimation Techniques for Probabilistic Verification.- Formal Verification of a Certified Policy Language.- Multi-path Coverage of all Final States for Model-Based Testing Theory using Spark In-memory Design.- Artificial Intelligence and Machine Learning.- A C-IFGSM Based Adversarial Approach for Deep Learning Based Intrusion Detection.- Deep Reinforcement Learning for Solving AGVs Routing Problem.- Research on Vehicle Detection based on Visual Convolution Network Optimization.- A Self-Adaptive Multi-Hierarchical Modular Neural Network for Complex Problems.- Multi-Scale Risk Assessment Model of Network Security Based on LSTM.- Weighted lightweight image retrieval method based on linear regression.


Nº de Páginas: 281
Encadernação: Capa Mole / Paperback
Tema: Algorithms & data structures
Publicidade

Avaliações dos nossos clientes

Verification and Evaluation of Computer and Communication Systems 14th International Conference, VECoS 2020, Xi'an, China, October 2627, 2020, Lecture Notes in Computer Science, 12519

Sê o primeiro a dar
a tua opinião sobre este produto

Características

Número de páginas

281,0

Editora

Springer Nature Switzerland AG

Peso

450,0

Data de lançamento

20/12/2020

Série/Edição Limitada

1st ed. 2020

Idiomas

Inglês

EAN

9783030659547

Publicidade
Publicidade