Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Goran Frehse
Monitoring Dynamical Signals While Testing Timed Aspects of a System
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
ARCH-COMP19 Category Report: Continuous and Hybrid Systems With Linear Continuous Dynamics
Related publications
A Method for Testing Real-Time System Based on Timed Automata
Ruan Jian Xue Bao/Journal of Software
Software
Tissue Engineering a Blood Vessel Mimic While Monitoring Contamination Through Sterility Assurance Testing
Monitoring and Analysis of Nuclear Power Plant Signals Based on Nonlinear Dynamical Methodology
Journal of Nuclear Science and Technology
High Energy Physics
Nuclear
Engineering
Nuclear Energy
Formal Testing of Timed and Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dynamical Aspects of Fragmentation
AIP Conference Proceedings
Astronomy
Physics
Timed-Automata Abstraction of Switched Dynamical Systems Using Control Invariants
Real-Time Systems
Control
Systems Engineering
Optimization
Electronic Engineering
Computer Networks
Simulation
Communications
Computer Science Applications
Electrical
Modeling
Information Aspects of System Monitoring of Students’ Academic Achievements
Voprosy sovremennoj nauki i praktiki. Universitet imeni V.I. Vernadskogo
A Wireless Sensor Network System for Pressure and Temperature Signals Monitoring
A Dynamical Model of the Distributed Interaction of Intracellular Signals
International Journal of Neural Systems
Medicine
Computer Networks
Communications
