Search results for "model-checking" | NDL Search

Search results 5

Group by title

Paper図書

edited by Jean-Éric PinEMS Pressc2021

Other Libraries in Japan

Subject Heading...timed automata model-checking Cobham's theorem free groups ...
Subject Heading (ID)...timed automata model-checking Cobham's theorem free groups ...

Paper図書

edited by Jean-Éric PinEMS Pressc2021

Other Libraries in Japan

Subject Heading...timed automata model-checking Cobham's theorem free groups ...
Subject Heading (ID)...timed automata model-checking Cobham's theorem free groups ...

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

乾, 道孝2014-09

National Diet Library

Digital博士論文

乾, 道孝2014-09

Available onlineOther Libraries in Japan

Digital文書・図像類

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

Other Libraries in Japan

Subject Heading...e verification model-checking preemptive scheduler probabil...
Note (General)...f theories and model-checking. In this paper......d or not using model-checking.(5)We propose probabilistic l...

Reached to the end of result.

RSS