Messaoud Abbas
مسعود عباسProfesseur
17
Productions
139
Citations
6
Indice h
Noter ce chercheurPas encore noté
La moyenne apparaît à partir de 3 avis.
Concepts pondérés extraits des titres, résumés et thématiques des productions, groupés par domaine.
Computer Science
- Model-Driven Software Engineering Techniques
- Logic, programming, and type systems
- Formal Methods in Verification
- Artificial Intelligence
- Computer Science
- Software
- Computational Theory and Mathematics
- Cryptography and Data Security
- Service-Oriented Architecture and Web Services
- Mobile Ad Hoc Networks
- Information Systems
- Computer Networks and Communications
- Advanced Authentication Protocols Security
- Blockchain Technology Applications and Security
Engineering
- Recycled Aggregate Concrete Performance
- Materials Engineering and Processing
- UAV Applications and Optimization
- Engineering
- Building and Construction
- Civil and Structural Engineering
- Mechanical Engineering
- Innovative concrete reinforcement materials
- Concrete and Cement Materials Research
- Safety Systems Engineering in Autonomy
Neuroscience
Expressions clés
- formal verification
- Object Constraint Language
- compressive strength
- automated theorem proving
- UML
- recycled aggregate concrete
- flexural strength
- capillary water absorption
- porosity
- slump
- formal transformation
- model-driven engineering
- recycled sand
- dune sand
- polyethylene terephthalate fibers
- flying ad hoc networks
- service selection
- 5G
- unmanned aerial vehicles
- game theory
- deep learning
- service discovery
- medical image classification
- convolutional neural networks
- critical systems