Author:
Fidge C.,Hayes I.,Watson G.
Publisher
Institution of Engineering and Technology (IET)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference22 articles.
1. HAYES, I.J., and UTTING, M.: ‘Coercing real-time refinement: A transmitter’, DUKE, D.J., EVANS, A.S., BCS-FACS Northern Formal Methods Workshop, 1996,, (Springer-Verlag, Electronic Workshops in Computing 1997),http://ewic.springer.co.uk/workshops/NFM96/
2. TUCKER TAFT, S., DUFF, R. A., ‘Ada 95 reference manual: language and standard libraries’, volume 1246 of Lecture Notes in Computer Science, (Springer-Verlag 1997)
3. An accurate worst case timing analysis for RISC processors
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献