Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mikhail Auguston
Using Monterey Phoenix to Formalize and Verify System Architectures
Visual Meta-Programming Language
Related publications
Using Language Inference to Verify Omega-Regular Properties
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Using Simulation to Verify Life History Relations Indicated by Time Series Analysis
Environmetrics
Ecological Modeling
Statistics
Probability
How to Verify and Manage the Translational Plagiarism?
Open Access Macedonian Journal of Medical Sciences
Medicine
Formalize UML 2 Sequence Diagrams
Investigating Alternatives for System Architectures to Enhance Discrete Manufacturing
International Journal of Distributed Sensor Networks
Computer Networks
Engineering
Communications
Generalising KAT to Verify Weighted Computations
Scientific Annals of Computer Science
Applied Mathematics
Computer Science
Optimal Design of Dependable Control System Architectures Using Temporal Sequences of Failures
IEEE Transactions on Reliability
Electronic Engineering
Risk
Reliability
Electrical
Safety
Quality
System and Software Architectures of Distributed Smart Cameras
Transactions on Embedded Computing Systems
Hardware
Architecture
Software
Verify Your Runs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
