Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Takeshi NAGAOKA
QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
Polyamides Derived From M- And P-Mixed Xylylene Diamine and Various Dicarboxylic Acids
The Journal of the Society of Chemical Industry, Japan
Related publications
Real-Time Analysis of Resource-Constrained Distributed Systems by Simulation-Guided Model Checking
ACM SIGBED Review
Engineering
Computer Science
Formula Based Abstractions of Transition Systems for Real-Time Model Checking
Efficient Model-Checking of Dense-Time Systems With Time-Convexity Analysis
Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Model Checking of Regenerative Concurrent Systems
IEEE Transactions on Software Engineering
Software
Design and Simulation for Real-Time Distributed Processing Systems
Model-Checking for Real-Time Systems Specified in Lotos
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Simulation and Analysis of Distributed Systems in Klaim
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Real-Time Model Checking on Secondary Storage
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
