Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by V.V. Shkarupylo
Formal Methods Usage With Respect to Critical Systems Checking
Scientific notes of Taurida National V.I. Vernadsky University. Series: Technical Sciences
Approach to Openflow-Compatible Switches Implementation on the Basis of Raspberry Pi
Scientific notes of Taurida National V.I. Vernadsky University. Series: Technical Sciences
Related publications
Critical Embedded Systems Development Using Formal Methods and Statistical Reliability Metrics
Advances in Science, Technology and Engineering Systems
Engineering
Astronomy
Physics
Management of Technology
Innovation
Formal Methods in Systems Engineering
Model Checking Usage Policies
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Methods for Eternal Networked Software Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards Formal Methods for Agent-Based Systems
A Basis for Formal Robustness Checking
Designing Minimal Effective Normative Systems With the Help of Lightweight Formal Methods
Formal Consistency Checking Over Specifications in Natural Languages
Formal Methods for Extensions to CAS
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
