Các bước đầu tiên hướng tới việc có thể để bắt đầu một sự biến đổi như vậy sang tự động hóa, sẽ được để chứng minh kết quả thử nghiệm thành công từ các dự án nghiên cứu tự động hóa nghiêm trọng và hứa hẹn. Luận án này trình bày một thủ tục kiểm soát cũng tự động thử nghiệm trên một mô hình tốt quy mô nhỏ tại UIS.
đang được dịch, vui lòng đợi..