Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Fateh Boutekkouk
Formal Specification and Verification of Communication in Network-On-Chip: An Overview
International Journal of Recent Contributions from Engineering, Science & IT (iJES)
UML for Modelling and Performance Estimation of Embedded Systems.
Journal of Object Technology
Software
Related publications
Formal Specification and Verification
Formal Verification of CHP Specifications With CADP Illustration on an Asynchronous Network-On-Chip
Proceedings - International Symposium on Asynchronous Circuits and Systems
Electronic Engineering
Engineering
Electrical
Formal Specification and Verification of CRDTs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Introducing H, an Institution-Based Formal Specification and Verification Language
Logica Universalis
Applied Mathematics
Logic
Formal Specification and Verification of Dynamic Parametrized Architectures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Enhancing Formal Specification and Verification of E-Commerce Protocol
Journal of Advanced Computer Science & Technology
An Overview of Formal Verification for the Time-Triggered Architecture
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Specification and Verification of Real-Time Systems Using Graph Grammars
Journal of the Brazilian Computer Society
Computer Science
Formal Specification and Verification of Real-Time Systems Using Graph Grammars
Journal of the Brazilian Computer Society
Computer Science
