嵌入式系统内的UML状态机和框架技术分析

机译：基于Iuml-B状态机的时间细化框架

机译：C＃代码生成和执行框架中UML类和状态机模型的实现

机译：安全状态UML：使用UML状态机对软件系统的安全问题进行建模和测试

机译：将UML状态机转换为随机Petri网以估计嵌入式系统的能耗

机译：用于自动验证UML设计模型的框架：应用于UML 2.0交互。

机译：探索UMLS：基于粗糙集的理论框架。

机译：通过UML-SystemC桥进行反应式和时间触发的嵌入式系统的设计框架

机译：基于模型的嵌入式系统软件工程图和语言：UmL和aaDL。

机译：在单处理器或多处理器的嵌入式系统上并发执行有限状态机编码过程的软件体系结构和程序

机译：SPR和专业人员的特征;使用相位多普勒Partikelanalyseger和Auml的Hnebeln; ts和等动力的消旋体，用于评价ma＆white; st＆auml; feuerbek＆auml建模的结构改进;与wassspr＆t。作战;内贝尔

机译：连接＆白色;特别和专业的安排框架; l＆auml的面积;由schr＆auml（fl＆auml; che;