| Conference Information |
| Committee |
R |
| Conference Date |
2021-10-22 - 2021-10-22 |
| Place (in Japanese) |
(See Japanese page) |
| Place (in English) |
Online |
| Topics (in Japanese) |
(See Japanese page) |
| Topics (in English) |
Reliability of Information Communication System, Reliability General |
| Paper Information |
| Registration To |
R |
| Conference Code |
2021-10-R |
| Language |
English |
| Title (in Japanese) |
(See Japanese page) |
| Sub Title (in Japanese) |
(See Japanese page) |
| Title (in English) |
A systematic method for identifying safety-related faults in formal specifications using FTA |
| Sub Title (in English) |
|
| Keyword(1) |
|
| Keyword(2) |
|
| Keyword(3) |
|
| Keyword(4) |
|
| Keyword(5) |
|
| Keyword(6) |
|
| Keyword(7) |
|
| Keyword(8) |
|
| 1st Author's Name |
Jiang Wen* |
| 1st Author's Affiliation |
Hiroshima University (HU) |
| 2nd Author's Name |
Liu Shaoying* |
| 2nd Author's Affiliation |
Hiroshima University (HU) |
| 3rd Author's Name |
Liu Ai* |
| 3rd Author's Affiliation |
Hiroshima University (HU) |
| 4th Author's Name |
|
| 4th Author's Affiliation |
() |
| 5th Author's Name |
|
| 5th Author's Affiliation |
() |
| 6th Author's Name |
|
| 6th Author's Affiliation |
() |
| 7th Author's Name |
|
| 7th Author's Affiliation |
() |
| 8th Author's Name |
|
| 8th Author's Affiliation |
() |
| 9th Author's Name |
|
| 9th Author's Affiliation |
() |
| 10th Author's Name |
|
| 10th Author's Affiliation |
() |
| 11th Author's Name |
|
| 11th Author's Affiliation |
() |
| 12th Author's Name |
|
| 12th Author's Affiliation |
() |
| 13th Author's Name |
|
| 13th Author's Affiliation |
() |
| 14th Author's Name |
|
| 14th Author's Affiliation |
() |
| 15th Author's Name |
|
| 15th Author's Affiliation |
() |
| 16th Author's Name |
|
| 16th Author's Affiliation |
() |
| 17th Author's Name |
|
| 17th Author's Affiliation |
() |
| 18th Author's Name |
|
| 18th Author's Affiliation |
() |
| 19th Author's Name |
|
| 19th Author's Affiliation |
() |
| 20th Author's Name |
|
| 20th Author's Affiliation |
() |
| Speaker |
Author-1 |
| Date Time |
2021-10-22 13:25:00 |
| Presentation Time |
25 minutes |
| Registration for |
R |
| Paper # |
|
| Volume (vol) |
vol.121 |
| Number (no) |
no.216 |
| Page |
|
| #Pages |
|
| Date of Issue |
|