software reusability; category theory; synchronisation; formal verification; embedded systems; embedded software system; formal framework; category theory; synchronization; component based software engineering;
机译:皮质上不同的分布式功能连接模式反映了腹侧视觉通路中对象,面部,场景,身体和工具类别选择模块的特定领域约束
机译:释放数据:独立的无线模块简化了大范围内完美同步的实时噪声测量
机译:涵盖,信封和含有抗扰动类别和逆向类别的涵盖
机译:使用类别理论构建具有同步和实时约束的模块
机译:在对称组的(BI)模块的家庭稳定的类别和应用的稳定表示理论
机译:通过墙纸组进行遗传编码的对称模型该墙纸组由传统的四个碱基和一个虚构的碱基组成:E:向类理论的分子/遗传生物学系统化
机译:广义模的对数张量范畴理论 共形顶点代数,I:引言和强分次代数和 他们的通用模块
机译:编写同步和实时约束