Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Juri Vain
Model Based Testing of Distributed Time Critical Systems
Related publications
Towards Systematic Testing of Distributed Real-Time Systems
Model-Based Testing of Probabilistic Systems
Formal Aspects of Computing
Theoretical Computer Science
Software
Distributed Testing of Multicomponent Systems
Traffic-Aware Stress Testing of Distributed Real-Time Systems Based on UML Models Using Genetic Algorithms
A Novel Distributed Scheduling Algorithm for Time-Critical Multi-Agent Systems
A Scenario-Based Distributed Testing Model for Software Applications
International Journal of ADVANCED AND APPLIED SCIENCES
Controller HIL Testing of Real-Time Distributed Frequency Control for Future Power Systems
Communicating Shared Resources: A Model for Distributed Real-Time Systems
Distributed One-Time Keyboard Systems
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
