机译:XCCS建模语言的正式定义
Institute of Mathematics Rzeszow University Al. Rejtana 16A, 35-959 Rzeszow, Poland;
Department of Automatics AGH University of Science and Technology Al. Mickiewicza 30, 30-059 Krakow, Poland;
XCCS process algebra; formal definition; synchronization relation; Basic Conversion Algorithm;
机译:面向关联的数据库元模型(AssoBase)的形式化定义和建模语言
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:构建正式的语言定义,我们可以管理吗?我们可以从Modula--2标准化中学到什么?
机译:特定领域建模语言的结构语义的形式化定义
机译:逻辑,形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性,以及形式语言标识的疑问模型。
机译:神经系统语言:用于系统描述明确通信和神经连接自动数字化的形式化建模语言
机译:信息模型描述和操作的概念语言的形式化定义