Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by T Fedyshyn
Data Acquisition Subsystem for Cyber-Physical Systems of Agricultural Production Monitoring and Its Verification
Measuring Equipment and Metrology
Related publications
BraceAssertion: Runtime Verification of Cyber-Physical Systems
Model-Based Compositional Verification Approaches and Tools Development for Cyber-Physical Systems
Data Driven Discovery of Cyber Physical Systems
Nature Communications
Astronomy
Genetics
Molecular Biology
Biochemistry
Chemistry
Physics
Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems With Applications to Aerospace Systems
Online Verification in Cyber-Physical Systems: Practical Bounds for Meaningful Temporal Costs
Journal of Software: Evolution and Process
Cyber Physical Systems
Orchestrated Platform for Cyber-Physical Systems
Complexity
Multidisciplinary
Computer Science
Machine Learning for Cyber Physical Systems
Technologien für die intelligente Automation
A Novel Framework for Building Distributed Data Acquisition and Monitoring Systems
Journal of Software
