Search

Your search keyword '"A. Hafaiedh"' showing total 10 results

Search Constraints

Start Over You searched for: Author "A. Hafaiedh" Remove constraint Author: "A. Hafaiedh" Database Springer Nature eBooks Remove constraint Database: Springer Nature eBooks
10 results on '"A. Hafaiedh"'

Search Results

1. On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation

4. Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments

5. Fault Tolerant P2P RIA Crawling

6. A Distributed Formal Model for the Analysis and Verification of Arbitration Protocols on MPSoCs Architecture

7. A Scalable P2P RIA Crawling System with Partial Knowledge

9. Distributed Implementation of Systems with Multiparty Interactions and Priorities

10. Reasoning about Safety and Progress Using Contracts

Catalog

Books, media, physical & digital resources