default search action
BibTeX record conf/words/KimKTK97
@inproceedings{DBLP:conf/words/KimKTK97, author = {Eun Mi Kim and Shinji Kusumoto and Tatsuhiro Tsuchiya and Tohru Kikuno}, title = {An approach to safety verification of object-oriented design specification for an elevator control system}, booktitle = {3rd Workshop on Object-Oriented Real-Time Dependable Systems {(WORDS} '97), 5-7 February 1997, Newport Beach, CA, {USA}}, pages = {256--263}, publisher = {{IEEE} Computer Society}, year = {1997}, url = {https://doi.org/10.1109/WORDS.1997.609965}, doi = {10.1109/WORDS.1997.609965}, timestamp = {Fri, 24 Mar 2023 00:02:26 +0100}, biburl = {https://dblp.org/rec/conf/words/KimKTK97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.