Improving Formal Verification and Testing Techniques for Internet of Things and Smart Cities

We are interested in formal verification and model-based testing for Internet of Things and Smart Cities. In general these two techniques suffer from state explosion problem. To remedy this situation we propose a set of techniques which aim to reduce the cost, duration and complexity of the consider...

Full description

Saved in:

Bibliographic Details
Published in:	Mobile networks and applications Vol. 28; no. 2; pp. 732 - 743
Main Author:	Krichen, Moez
Format:	Journal Article
Language:	English
Published:	New York Springer US 01.04.2023 Springer Nature B.V
Subjects:	Case studies Communications Engineering Computer Communication Networks Dependence Electrical Engineering Energy consumption Engineering Explosions Graph theory Internet of Things IT in Business Model testing Modularization Networks Placement Smart cities State variable Subsystems Symmetry detection Upgrading Internet of things State explosion Smart cities Verification Formal Model-based Optimization Testing
ISSN:	1383-469X, 1572-8153
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!