更生保護施設におけるソーシャルインクルージョンの取組について (特集 新たな更生保護制度における保護観察官)
スポンサーリンク
概要
論文 | ランダム
- 1B-4 実時間スケジューリングを想定したエレベータシステムヘのモデル検査適用(プログラム検証と品質管理,一般セッション,ソフトウェア科学・工学)
- 2L-1 モデル検査に対応する上位ハードウェア記述言語MelasyとXML中間表現(上流設計技術,学生セッション,アーキテクチャ)
- 3A-2 強連結成分ベースのグラフ分割による分散並列LTLモデル検査の高速化(高性能計算,一般セッション,アーキテクチャ)
- 分散並列型SATソルバにおける探索空間の分割手法の提案
- 新・組み込みソフトへの数理的アプローチ(第7回)組み合わせ問題とLTSA--モデル検査ツールで組み合わせパターンを列挙する