Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Muhammad Nauman
Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study
Journal of Software Engineering and Applications
Formation and Working of Federal Shari’at Court in Pakistan
Pakistan Social Sciences Review
Related publications
Model Checking for Probabilistic Timed Automata
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Model Checking of Multitasking Real-Time Applications Based on the Timed Automata Model Using One Clock
A Method for Testing Real-Time System Based on Timed Automata
Ruan Jian Xue Bao/Journal of Software
Software
Robust Reachability in Timed Automata: A Game-Based Approach
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Software Systems: A Case Study.
Symbolic Model Checking for Simply-Timed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fuzzy-Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Energy-Aware Scheduling of FIR Filter Structures Using a Timed Automata Model
Model-Checking a Secure Group Communication Protocol: A Case Study
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
