Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mounir Chadli
High-Level Frameworks for the Specification and Verification of Scheduling Problems
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Related publications
MetAcsl: Specification and Verification of High-Level Properties
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
High-Level Verification
IPSJ Transactions on System LSI Design Methodology
Electronic Engineering
Computer Science Applications
Electrical
Specification of Service Level Agreements: Problems, Principles and Practices
Software Quality Journal
Media Technology
Risk
Reliability
Safety
Quality
Software
Formal Specification and Verification
Formal Specification and Verification of CRDTs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
High-Level Debugging and Verification for FPGA-Based Multicore Architectures
High-Level Design Approach for the Specification of Cognitive Radio Equipments Management APIs
Journal of Network and Systems Management
Information Systems
Computer Networks
Strategy
Hardware
Communications
Management
Architecture
Property Specification Patterns for Finite-State Verification
Combining CSP and B for Specification and Property Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
