Search results for "timed automata" | NDL Search

Search results 5

Group by title

Digital博士論文障害者向け資料あり

綿引, 健二2014-03

National Diet Library

Subject Headingbusiness process modeling model checking timed automata temporal constraint resource ...

Paper図書

edited by Jean-Éric PinEMS Pressc2021

Other Libraries in Japan

Subject Heading...izing automata timed automata model-checking Cobham's theor...
Subject Heading (ID)...izing automata timed automata model-checking Cobham's theor...

Paper図書

edited by Jean-Éric PinEMS Pressc2021

Other Libraries in Japan

Subject Heading...izing automata timed automata model-checking Cobham's theor...
Subject Heading (ID)...izing automata timed automata model-checking Cobham's theor...

Digital博士論文

綿引, 健二2014-03

Available onlineOther Libraries in Japan

Subject Headingbusiness process modeling model checking timed automata temporal constraint resource ...

Digital文書・図像類

山根, 智, Yamane, Satoshi金沢大学理工研究域電子情報通信学系2002-03平成13(2001)年度科学研究費補助金基盤研究(C) 研究成果報告書 = 2001 Fiscal Year Final Research Report1999-2001p.110p.-

Other Libraries in Japan

Subject Heading...t verification timed automata hybrid models receptioneness ...
Note (General)...developed open timed automata and realized automatic verifi...

Reached to the end of result.

RSS