...
机译:关于使用ASM形式化UML状态机的信息
Dipartimento di Informatica, Universita di Pisa, Italy;
机译:使用Z表示法形式化UML状态机图的多视图方法
机译:使用时间逻辑对UML状态机进行形式化
机译:撒哈拉以南非洲的手工和小规模采矿(ASM):重新概念化形式化和“非法”活动
机译:集成UML静态和动态视图,并使UML状态机的交互机制正式
机译:图灵机将转录和翻译过程正式化。
机译:基于机器学习和UMLS中概念关系的歧义词自动解决
机译:撒哈拉非洲的手工和小规模挖掘(ASM):重新概念化形式化和“非法”活动