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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Mobile networks and applications Ročník 28; číslo 2; s. 732 - 743
Hlavní autor:	Krichen, Moez
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York Springer US 01.04.2023 Springer Nature B.V
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!