LIHS, Universite Toulouse 1, Place Anatole France, F-31042 Toulouse CEDEX, France;
distributed systems; behavioural specification; CORBA; high-level petri nets;
机译:CORBA服务的正式规范:经验和教训
机译:关于规范的透明度:形成一种用于有限自动机中的离散事件控制规范的设计师可理解性的正式框架
机译:自适应语义Web服务组成的正式规范
机译:CORBA服务的正式规范
机译:CORBA事件和通知服务的性能和可靠性分析。
机译:定性的动力学建模可以正式解释中胚层规格并预测新的发育表型
机译:使用object-z正式指定corba服务
机译:防止ada服务中拒绝服务的形式规范和验证方法。