Jump to main content

yr 〜
yr

Search results 3

OSEK/VDXアプリケーションのためのモデル検査技術に関する研究

OSEK/VDXアプリケーションのためのモデル検査技術に関する研究
Digital博士論文障害者向け資料あり
Zhang, Haitao2015-09
National Diet Library
  • Subject Heading... checking Spin bounded model checking SMT sequentialization

OSEK/VDXアプリケーションのためのモデル検査技術に関する研究

OSEK/VDXアプリケーションのためのモデル検査技術に関する研究
Digital博士論文
Zhang, Haitao2015-09
Available onlineOther Libraries in Japan
  • Subject Heading... checking Spin bounded model checking SMT sequentialization

Efficient solving of large arithmetic constraint systems with complex Boolean structure : proof engines for the analysis of hybrid discrete-continuous systems 1. ed

Efficient solving of large arithmetic constraint systems with complex Boolean structure : proof engines for the analysis of hybrid discrete-continuous systems 1. ed
Paper図書
Christian HerdeVieweg + Teubner2011
Other Libraries in Japan
  • Subject HeadingHybrides System -- Bounded Model Checking -- Erfüllbarkeitsproblem -- B...
  • Subject Heading (ID)Hybrides System -- Bounded Model Checking -- Erfüllbarkeitsproblem -- B...

Reached to the end of result.

RSS