Model checking of software control systems

Repository

Model checking of software control systems

Show full record

Title: Model checking of software control systems
Author: Sharygina, Natalia Yevgenyevna
Abstract: Not available
Department: Mechanical Engineering
Subject: Automatic control--Data processing Computer software Software engineering
URI: http://hdl.handle.net/2152/920
Date: 2002

Files in this work

Download File: sharyginany026.pdf
Size: 2.830Mb
Format: application/pdf

This work appears in the following Collection(s)

Show full record


Advanced Search

Browse

My Account

Statistics

Information