藤崎 弘士 | 日本医大物理:理研・次世代・分子スケール

スポンサーリンク

概要

• 同名の論文著者
• 日本医大物理:理研・次世代・分子スケールの論文著者

論文 | ランダム

• 形式仕様技術に基づく相互運用性試験について
• 代数型言語によるプロトコルの形式仕様記述 (電子計算機相互運用デ-タベ-スシステム)
• Estelle言語の特質と処理系の現状と動向 (通信システムの形式記述技法の標準化)
• 階層的仕様言語HISP に基づく変換法プログラミング (プログラム設計技法)
• 82-15 プログラム開発の形式的な取り扱い

もっと見る

スポンサーリンク