2024-03-29T00:49:01Z
https://soar-ir.repo.nii.ac.jp/oai
oai:soar-ir.repo.nii.ac.jp:00011526
2023-04-13T05:53:33Z
1162:1164:1167
On the Formal Verification of Petri Net Properties using a Mechanized Proof Checker Approach (プルーフチェッカーシステムを用いたペトリネットの性質の形式的検証について)
PRATIMA, KUMARI SHAH,
open access
Thesis
PRATIMA KUMARI SHAH . On the Formal Verification of Petri Net Properties using a Mechanized Proof Checker Approach (プルーフチェッカーシステムを用いたペトリネットの性質の形式的検証について). 信州大学, 2014, 博士論文. 博士(工学), 甲第616号, 平成26年9月30日授与.
信州大学
2014-09-30
eng
doctoral thesis
NA
http://hdl.handle.net/10091/17984
https://soar-ir.repo.nii.ac.jp/records/11526
13601甲第616号
博士(工学)
2014-09-30
13601
信州大学(Shinshu university)
https://soar-ir.repo.nii.ac.jp/record/11526/files/11ST254G_yoshi.pdf
application/pdf
102.8 kB
2015-09-28
https://soar-ir.repo.nii.ac.jp/record/11526/files/11ST254G_shinsa.pdf
application/pdf
78.6 kB
2015-09-28
https://soar-ir.repo.nii.ac.jp/record/11526/files/11ST254G_ronbun.pdf
application/pdf
757.8 kB
2015-09-28