Formal verification of simulations between I/O automata
Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2001. === Includes bibliographical references (p. 139-141). === by Andrej Bogdanov. === M.Eng.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | English |
| Published: |
Massachusetts Institute of Technology
2014
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/86802 |
| id |
ndltd-MIT-oai-dspace.mit.edu-1721.1-86802 |
|---|---|
| record_format |
oai_dc |
| spelling |
ndltd-MIT-oai-dspace.mit.edu-1721.1-868022019-05-02T16:27:39Z Formal verification of simulations between I/O automata Bogdanov, Andrej, 1978- Stephen J. Garland. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science. Electrical Engineering and Computer Science. Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2001. Includes bibliographical references (p. 139-141). by Andrej Bogdanov. M.Eng. 2014-05-07T17:06:49Z 2014-05-07T17:06:49Z 2001 2001 Thesis http://hdl.handle.net/1721.1/86802 51160493 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 141 p. application/pdf Massachusetts Institute of Technology |
| collection |
NDLTD |
| language |
English |
| format |
Others
|
| sources |
NDLTD |
| topic |
Electrical Engineering and Computer Science. |
| spellingShingle |
Electrical Engineering and Computer Science. Bogdanov, Andrej, 1978- Formal verification of simulations between I/O automata |
| description |
Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2001. === Includes bibliographical references (p. 139-141). === by Andrej Bogdanov. === M.Eng. |
| author2 |
Stephen J. Garland. |
| author_facet |
Stephen J. Garland. Bogdanov, Andrej, 1978- |
| author |
Bogdanov, Andrej, 1978- |
| author_sort |
Bogdanov, Andrej, 1978- |
| title |
Formal verification of simulations between I/O automata |
| title_short |
Formal verification of simulations between I/O automata |
| title_full |
Formal verification of simulations between I/O automata |
| title_fullStr |
Formal verification of simulations between I/O automata |
| title_full_unstemmed |
Formal verification of simulations between I/O automata |
| title_sort |
formal verification of simulations between i/o automata |
| publisher |
Massachusetts Institute of Technology |
| publishDate |
2014 |
| url |
http://hdl.handle.net/1721.1/86802 |
| work_keys_str_mv |
AT bogdanovandrej1978 formalverificationofsimulationsbetweenioautomata |
| _version_ |
1719041081272696832 |