Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by O Baranovskiy
Formal Representation and Comparative Analysis of Software Runtime Process
The Advanced Science Journal
Related publications
A Formal Model of the Software Test Process
IEEE Transactions on Software Engineering
Software
Software Performance Evaluation Utilizing UML Specification and SRN Model and Their Formal Representation
Journal of Software
Araucaria: Software for Argument Analysis, Diagramming and Representation
International Journal on Artificial Intelligence Tools
Artificial Intelligence
Runtime Verification of Component-Based Embedded Software
Formal Analysis and Verification of Airborne Software Based on DO-333
Electronics (Switzerland)
Control
Electronic Engineering
Signal Processing
Computer Networks
Systems Engineering
Hardware
Communications
Electrical
Architecture
Software Engineering and Formal Methods
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Architectural Styles for Runtime Software Adaptation
Comparative Study of Various Process Model in Software Development
International Journal of Computer Applications
Formal Representation of Temporal Expressions
