モデル検査紹介8. 自動アップデートシステム• ソフトウェアã®é 隔アップデー トシステム• ã‚»ã‚ュリティãŒå•é¡Œ • プãƒãƒˆã‚³ãƒ«ã‚’Spinã§ãƒ¢ãƒ‡ãƒ«åŒ– • レビュー時ã®å•é¡Œã‚’ç¢ºèª å¼•ç”¨: ソフトウェア更新システムã®ãƒ¢ãƒ‡ãƒ«æ¤œæŸ»ã«ã‚ˆã‚‹ã‚»ã‚ュリティã€æŠ€è¡“å ±å‘Š(2007) 9. フォールトトレラントMPU • 独自メカニズムã®ãƒ•ã‚©ãƒ¼ãƒ«ãƒˆãƒˆãƒ¬ãƒ©ãƒ³ãƒˆMPU • NuSMV, PRISMã§ãƒ¢ãƒ‡ãƒ«åŒ– • 一定ã®ä»®å®šã®ã‚‚ã¨ã§æ£å½“性を確èªã€æœ€é©ãªãƒ‘ラメータã®æ¤œè¨Ž 引用: Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking. ESSS 2014: 35-49
慶大生・é’木大和ã•ã‚“ãŒã€Œå°ï¼”å½è£…サイトã€ã§å•ã„ã‹ã‘ãŸã‹ã£ãŸã‚‚ã®(山本一郎) - 個人 - Yahoo!ニュース
GitHub - ocaml-multicore/effects-examples: Examples to illustrate the use of algebraic effects in Multicore OCaml
Island Life - 完æˆã—ã™ãŽã®å‘ªã„
Markdown UI
React-Haskell
GitHub - joelburget/react-haskell: React bindings for Haskell
絵師ユーザーãŒãƒ„イッターã‹ã‚‰ãƒã‚·ã‚¢ã®é€£é‚¦æ³•149-FZã‚’æ ¹æ‹ ã«è¦å‘Šã•ã‚Œã‚‹ã€‚ - Togetterã¾ã¨ã‚
{{#tags}}- {{label}}
{{/tags}}