Daniel M. Berry
Daniel M. Berry
Annie I. Antón; Colin Potts
Annie I. Antón; Colin Potts
Animating Formal Specifications with Inheritance in a DL-Based Framework [0.03%]
在基于描述逻辑的框架中利用继承对形式规范进行动画处理
Pedro Sánchez; Patricio Letelier; Isidro Ramos
Pedro Sánchez; Patricio Letelier; Isidro Ramos
Last words on the (project) flight recorder: A plea for user requirements [0.03%]
关于(项目)飞行记录器的最后几句话:一份对用户需求的呼吁
Richard Stevens
Richard Stevens