...
机译:重新审视行为和抽象案规范
Ludwig Maximilians Univ Munchen Inst Informat Munich Germany;
HASLab INESC TEC Braga Portugal;
Ludwig Maximilians Univ Munchen Inst Informat Munich Germany;
Algebraic specification; Specification of reactive systems; Observable behaviour; Observational abstraction;
机译:重新审视行为和抽象案规范
机译:2015年6月26日至28日,英国伦敦,来自犬行为和遗传学会议的摘要
机译:AFCR:无服务器工作流程规范的抽象功能编排语言
机译:具有粘合剂和沉默转换的动态逻辑的行为和抽象者规范
机译:使用抽象状态机的软件正式规范
机译:超越网络:HTML作为抽象文档规范
机译:基于状态的系统的规范和实现中的观察和抽象行为