|
|
计算机科学 2003
tfsp：一种分布式实时系统的形式化描述工具Keywords: 软件体系结构形式化描述工具分布式实时系统tfsp软件工程 Abstract: distributedrealtimesystems(drts)haveverybroadapplicationsinspacenavigation,nuclearreaction,militaryaffairsandindustrydepartmentwherethesecurityandreliabilityrequirementofthedrtsisveryhigh.thus,howtodevelopcorrectdrtsappl
|
