Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Bahareh Badban
Verifying a Sliding Window Protocol in μCRL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Invariant Generation for the Verification of Real-Time Systems
Related publications
The Sliding-Window Protocol Revisited
Formal Aspects of Computing
Theoretical Computer Science
Software
Formal Modeling of Generalized Sliding Window Protocol in Promela Using Spin Root Model-Checker
International Journal of Computer Applications
Verifying Authentication Protocol Implementations
Resource Sharing in Continuous Sliding-Window Aggregates
Maintaining Frequent Closed Itemsets Over a Sliding Window
Journal of Intelligent Information Systems
Information Systems
Computer Networks
Hardware
Communications
Architecture
Artificial Intelligence
Software
Verifying Sensor Network Security Protocol Implementations
Detection of Biomedical Signals Disruption Using a Sliding Window
Scientific journal of the Ternopil national technical university
Computing Diameter in the Streaming and Sliding-Window Models
Algorithmica
Applied Mathematics
Computer Science Applications
Computer Science
Research on Sliding Window Uplink Frequency Domain Scheduling Scheme in LTE-A
