「PikeOS」を解説文に含む見出し語の検索結果(1～10/83件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/03/16 09:48 UTC 版)「PikeOS」の記事における「サポートしているハードウェア」の解説PikeOSでサポー...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/03/16 09:48 UTC 版)「PikeOS」の記事における「プログラミング・インタフェースと環境」の解説現在、以下の...
PikeOSSYSGOのPikeOSのアーキテクチャ開発者SYSGO GmbHOSの系統リアルタイム・L4開発状況Current最新安定版5.1 / 2021年5月 (2年前) (2...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/11/10 06:15 UTC 版)「形式的検証」の記事における「産業での応用」の解説設計の複雑さが増すにつれ、形式的検証技...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/02/16 18:56 UTC 版)「POSIX」の記事における「POSIXにおおむね準拠」の解説以下に挙げるものは、IEE...
REX OS開発者クアルコムプログラミング言語C言語開発状況開発終了初版1999年 (26年前) (1999)対象市場フィーチャーフォン使用できる言語日本語・英語などプラットフォーム...
Enea OSE開発者Enea Sofware ABOSの系統リアルタイムソースモデルクローズドソース最新安定版OSE Multicore Edition / 2020年9月22日 (3年前)...
Enea OSE開発者Enea Sofware ABOSの系統リアルタイムソースモデルクローズドソース最新安定版OSE Multicore Edition / 2020年9月22日 (3年前)...
形式的検証（けいしきてきけんしょう、英: formal verification）とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...
形式的検証（けいしきてきけんしょう、英: formal verification）とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...
< 前の結果 | 次の結果 >