%0 Conference Paper %1 conf/ftcs/SaeedLA91 %A Saeed, Amer %A de Lemos, Rogério %A Anderson, Tom %B FTCS %D 1991 %I IEEE Computer Society %K dblp %P 478-487 %T The Role of Formal Methods in the Requirements Analysis of Safety-Critical Systems: A Train Set Example. %U http://dblp.uni-trier.de/db/conf/ftcs/ftcs91.html#SaeedLA91 %@ 0-8186-2150-8

@inproceedings{conf/ftcs/SaeedLA91, added-at = {2019-07-17T00:00:00.000+0200}, author = {Saeed, Amer and de Lemos, Rogério and Anderson, Tom}, biburl = {https://www.bibsonomy.org/bibtex/224c6c9fb6dbac22a6a2913956dfc533f/dblp}, booktitle = {FTCS}, crossref = {conf/ftcs/1991}, ee = {https://doi.org/10.1109/FTCS.1991.146704}, interhash = {a689caff17b2a212903267c071802f2e}, intrahash = {24c6c9fb6dbac22a6a2913956dfc533f}, isbn = {0-8186-2150-8}, keywords = {dblp}, pages = {478-487}, publisher = {IEEE Computer Society}, timestamp = {2019-10-17T13:30:27.000+0200}, title = {The Role of Formal Methods in the Requirements Analysis of Safety-Critical Systems: A Train Set Example.}, url = {http://dblp.uni-trier.de/db/conf/ftcs/ftcs91.html#SaeedLA91}, year = 1991 }