Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Raman Sharykin
Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-Stochastic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Specification Languages for Distributed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Tool Supported Specification and Simulation of Distributed Systems
Specification Styles in Distributed Systems Design and Verification
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Specification and Analysis of Discrete Behavior of Hybrid Systems in the Workbench ISMA
Open Journal of Applied Sciences
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
Modular Specification of Hybrid Systems in Charon
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Reachability Analysis for Large Scale Stochastic Hybrid Systems
Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
