@inProceedings{
 title = {Verification of real-time software for active structural control},
 type = {inProceedings},
 year = {1993},
 identifiers = {[object Object]},
 pages = {1672-1679},
 id = {3e560b84-b79b-3753-8a28-c6ab73f38416},
 created = {2016-02-17T15:26:28.000Z},
 file_attached = {false},
 profile_id = {2a520ab8-915c-3c45-ac68-153534007f56},
 last_modified = {2016-02-17T15:26:28.000Z},
 read = {false},
 starred = {false},
 authored = {true},
 confirmed = {false},
 hidden = {false},
 abstract = {In this paper we give an overview of our preliminary work in verifying the reliability of real-time software systems for active structural control. While there have been numerous studies on control strategies, our work seeks to ensure the overall reliability of the software system given a particular control algorithm. We outline a three-step process based on formal methods for designing reliable real-time software.},
 bibtype = {inProceedings},
 author = {Baugh, John W. and Elseaidy, Wael M.},
 booktitle = {Computing in Civil and Building Engineering}
}

{"_id":"G2PB5Rk7SFBMGPtnr","bibbaseid":"baugh-elseaidy-verificationofrealtimesoftwareforactivestructuralcontrol-1993","downloads":0,"creationDate":"2016-08-28T20:45:19.589Z","title":"Verification of real-time software for active structural control","author_short":["Baugh, J., W.","Elseaidy, W., M."],"year":1993,"bibtype":"inProceedings","biburl":null,"bibdata":{"title":"Verification of real-time software for active structural control","type":"inProceedings","year":"1993","identifiers":"[object Object]","pages":"1672-1679","id":"3e560b84-b79b-3753-8a28-c6ab73f38416","created":"2016-02-17T15:26:28.000Z","file_attached":false,"profile_id":"2a520ab8-915c-3c45-ac68-153534007f56","last_modified":"2016-02-17T15:26:28.000Z","read":false,"starred":false,"authored":"true","confirmed":false,"hidden":false,"abstract":"In this paper we give an overview of our preliminary work in verifying the reliability of real-time software systems for active structural control. While there have been numerous studies on control strategies, our work seeks to ensure the overall reliability of the software system given a particular control algorithm. We outline a three-step process based on formal methods for designing reliable real-time software.","bibtype":"inProceedings","author":"Baugh, John W. and Elseaidy, Wael M.","booktitle":"Computing in Civil and Building Engineering","bibtex":"@inProceedings{\n title = {Verification of real-time software for active structural control},\n type = {inProceedings},\n year = {1993},\n identifiers = {[object Object]},\n pages = {1672-1679},\n id = {3e560b84-b79b-3753-8a28-c6ab73f38416},\n created = {2016-02-17T15:26:28.000Z},\n file_attached = {false},\n profile_id = {2a520ab8-915c-3c45-ac68-153534007f56},\n last_modified = {2016-02-17T15:26:28.000Z},\n read = {false},\n starred = {false},\n authored = {true},\n confirmed = {false},\n hidden = {false},\n abstract = {In this paper we give an overview of our preliminary work in verifying the reliability of real-time software systems for active structural control. While there have been numerous studies on control strategies, our work seeks to ensure the overall reliability of the software system given a particular control algorithm. We outline a three-step process based on formal methods for designing reliable real-time software.},\n bibtype = {inProceedings},\n author = {Baugh, John W. and Elseaidy, Wael M.},\n booktitle = {Computing in Civil and Building Engineering}\n}","author_short":["Baugh, J., W.","Elseaidy, W., M."],"bibbaseid":"baugh-elseaidy-verificationofrealtimesoftwareforactivestructuralcontrol-1993","role":"author","urls":{},"downloads":0},"search_terms":["verification","real","time","software","active","structural","control","baugh","elseaidy"],"keywords":[],"authorIDs":[]}