Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Maria S. Myssak
Specification and Analysis of Discrete Behavior of Hybrid Systems in the Workbench ISMA
Open Journal of Applied Sciences
Related publications
Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modular Specification of Hybrid Systems in Charon
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Specification of Discrete Systems by Active Predicates and Dynamic Constraints
Specification and Analysis of Real-Time Systems in Statecharts
Optimization and Applications of Discrete Event and Hybrid Dynamic Systems
A Specification Language to Assist in Analysis of Discrete Event Simulation Models
Communications of the ACM
Computer Science
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
Design of Discrete Controllers for Continuous Systems Using Hybrid Chi
IFAC Proceedings Volumes
Data Analysis WorkbeNch(DAWN)
Journal of Synchrotron Radiation
High Energy Physics
Instrumentation
Radiation
Nuclear
