特許第5704459号(P5704459)IP Force 特許公報掲載プロジェクト 2022.1.31 β版

知財求人 - 知財ポータルサイト「IP Force」

▶ スリニヴァサン,チトア,ヴイ.の特許一覧

特許5704459マルチコアチップ用の形式的検証された並列ソフトウェアを構築するためのTICCパラダイム