| |
Shimizu, Takahiro
|
TAV-CPS/IoT '19: "Symbolic Execution-Based Approach ..."
Symbolic Execution-Based Approach to Extracting a Micro State Transition Table
Takahiro Shimizu, Norihiro Yoshida, Ryota Yamamoto, and Hiroaki Takada
(Nagoya University, Japan)
@InProceedings{TAV-CPS/IoT19p1,
author = {Takahiro Shimizu and Norihiro Yoshida and Ryota Yamamoto and Hiroaki Takada},
title = {Symbolic Execution-Based Approach to Extracting a Micro State Transition Table},
booktitle = {Proc.\ TAV-CPS/IoT},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3341108.3342244},
year = {2019},
}
 Publisher's Version
|
| |
Takada, Hiroaki
|
TAV-CPS/IoT '19: "Symbolic Execution-Based Approach ..."
Symbolic Execution-Based Approach to Extracting a Micro State Transition Table
Takahiro Shimizu, Norihiro Yoshida, Ryota Yamamoto, and Hiroaki Takada
(Nagoya University, Japan)
@InProceedings{TAV-CPS/IoT19p1,
author = {Takahiro Shimizu and Norihiro Yoshida and Ryota Yamamoto and Hiroaki Takada},
title = {Symbolic Execution-Based Approach to Extracting a Micro State Transition Table},
booktitle = {Proc.\ TAV-CPS/IoT},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3341108.3342244},
year = {2019},
}
Publisher's Version
|
| |
Yamamoto, Ryota
|
TAV-CPS/IoT '19: "Symbolic Execution-Based Approach ..."
Symbolic Execution-Based Approach to Extracting a Micro State Transition Table
Takahiro Shimizu, Norihiro Yoshida, Ryota Yamamoto, and Hiroaki Takada
(Nagoya University, Japan)
@InProceedings{TAV-CPS/IoT19p1,
author = {Takahiro Shimizu and Norihiro Yoshida and Ryota Yamamoto and Hiroaki Takada},
title = {Symbolic Execution-Based Approach to Extracting a Micro State Transition Table},
booktitle = {Proc.\ TAV-CPS/IoT},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3341108.3342244},
year = {2019},
}
Publisher's Version
|
| |
Yoshida, Norihiro |
TAV-CPS/IoT '19: "Symbolic Execution-Based Approach ..."
Symbolic Execution-Based Approach to Extracting a Micro State Transition Table
Takahiro Shimizu, Norihiro Yoshida, Ryota Yamamoto, and Hiroaki Takada
(Nagoya University, Japan)
@InProceedings{TAV-CPS/IoT19p1,
author = {Takahiro Shimizu and Norihiro Yoshida and Ryota Yamamoto and Hiroaki Takada},
title = {Symbolic Execution-Based Approach to Extracting a Micro State Transition Table},
booktitle = {Proc.\ TAV-CPS/IoT},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3341108.3342244},
year = {2019},
}
Publisher's Version
|