Contents of Report

[Data of Report]

Report Number:

TM0989

Date of Registration:

1991.01

English Title:

A Formal Method for Real-Time SA using Algebraic and Temporal Logic Specifications

Japanese Title:

代数的仕様と時刻論理によるリアルタイムSAの形式的支援

English Author:

S.Honiden,A.Ohsuga,N.Uchihira

Japanese:

本位田　真一,大須賀　昭彦,内平　直志

Name of Organization to which author belongs:

TOSHIBA,TOSHIBA,TOSHIBA

PDF:

tm0989.pdf

[Contents]

ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda