Implementing and verifying the safety of the transactor model Boodman, Brian D. Systems engineering May 2008 School of Science Rensselaer Polytechnic Institute, Troy, NY Varela, Carlos A. 2008-05 Electronic thesis ENG This electronic version is a licensed copy owned by Rensselaer Polytechnic Institute, Troy, NY. Copyright of original work retained by author. Users may download and share copies with attribution in accordance with a Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 License. No commercial use or derivatives are permitted without the explicit approval of the author.
Implementing and verifying the safety of the transactor model
Boodman, Brian D.
Systems engineering
May 2008
School of Science
Rensselaer Polytechnic Institute, Troy, NY
Varela, Carlos A.
2008-05
Electronic thesis
ENG
This electronic version is a licensed copy owned by Rensselaer Polytechnic Institute, Troy, NY. Copyright of original work retained by author.
Users may download and share copies with attribution in accordance with a Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 License. No commercial use or derivatives are permitted without the explicit approval of the author.