%0 Conference Paper %1 conf/prdc/HiraguriNHKN01 %A Hiraguri, Shigeto %A Nishibori, Noriyuki %A Hidaka, Yasuko %A Kasai, Takayuki %A Nakamura, Hideo %B PRDC %D 2001 %I IEEE Computer Society %K dblp %P 375-378 %T Safety Analysis by Box Modeling Method of System Behavior -- Application to Train Control System. %U http://dblp.uni-trier.de/db/conf/prdc/prdc2001.html#HiraguriNHKN01 %@ 0-7695-1414-6

@inproceedings{conf/prdc/HiraguriNHKN01, added-at = {2023-03-23T00:00:00.000+0100}, author = {Hiraguri, Shigeto and Nishibori, Noriyuki and Hidaka, Yasuko and Kasai, Takayuki and Nakamura, Hideo}, biburl = {https://www.bibsonomy.org/bibtex/2bb65b72ad09b164a0b4ee13945a365ec/dblp}, booktitle = {PRDC}, crossref = {conf/prdc/2001}, ee = {https://doi.ieeecomputersociety.org/10.1109/PRDC.2001.992723}, interhash = {d6086f2aedd01c41d3ebde2b11cb541a}, intrahash = {bb65b72ad09b164a0b4ee13945a365ec}, isbn = {0-7695-1414-6}, keywords = {dblp}, pages = {375-378}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T09:23:44.000+0200}, title = {Safety Analysis by Box Modeling Method of System Behavior -- Application to Train Control System.}, url = {http://dblp.uni-trier.de/db/conf/prdc/prdc2001.html#HiraguriNHKN01}, year = 2001 }