Abstract

Abstracting IoT protocols using timed process algebra and SPIN model checker

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Similar Papers

Paper Title
Journal
Date
Author
The Algebra of Timed Processes, ATP: Theory and Application
X Nicollin ... J Sifakis
Information and Control | VOL. 114
X Nicollin, et. al.X Nicollin ... J Sifakis
01 Oct 1994
Real-Time: Theory in Practice
J W De Bakker ... W P De Roever
-
J W De Bakker, et. al.J W De Bakker ... W P De Roever
01 Jan 1992
Timed Process Algebra, Petri Nets, and Event Refinement
David Murphy
-
David MurphyDavid Murphy
01 Jan 1991
A process algebraic approach to the specification and analysis of resource-bound real-time systems
I Lee ... P Bremond-Gregoire
Proceedings of the IRE | VOL. 82
I Lee, et. al.I Lee ... P Bremond-Gregoire
01 Jan 1993
View more papers

More From: Cluster Computing

Paper Title
Journal
Date
Author
Secure and efficient content-based image retrieval using dominant local patterns and watermark encryption in cloud computing
G Sucharitha ... M Ijaz Khan
Cluster Computing | VOL. -
G Sucharitha, et. al.G Sucharitha ... M Ijaz Khan
17 Jul 2024
G-SAM: GMM-based segment anything model for medical image classification and segmentation
Xiaoxiao Liu ... Jian Wei
Cluster Computing | VOL. -
Xiaoxiao Liu, et. al.Xiaoxiao Liu ... Jian Wei
17 Jul 2024
Channel estimation for RIS-aided MIMO systems in MmWave wireless communications with a few active elements
Walid K Ghamry ... Suzan Shukry
Cluster Computing | VOL. -
Walid K Ghamry, et. al.Walid K Ghamry ... Suzan Shukry
17 Jul 2024
Optimal power scheduling of microgrid considering renewable sources and demand response management
Abhishek Srivastava ... Siseyiekuo Khatsu
Cluster Computing | VOL. -
Abhishek Srivastava, et. al.Abhishek Srivastava ... Siseyiekuo Khatsu
16 Jul 2024
View more papers