%0 Journal Article
%T tfsp：一种分布式实时系统的形式化描述工具
%A 叶俊民 王振宇 陈利 赵恒？
%J 计算机科学
%D 2003
%X distributedrealtimesystems(drts)haveverybroadapplicationsinspacenavigation,nuclearreaction,militaryaffairsandindustrydepartmentwherethesecurityandreliabilityrequirementofthedrtsisveryhigh.thus,howtodevelopcorrectdrtsappl
%K 软件体系结构形式化描述工具分布式实时系统tfsp软件工程
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=8595324&flag=1