User-Definable Resource Usage Bounds Analysis for Java Bytecode
Electronic Notes in Theoretical Computer Science (ENTCS)
User-definable resource bounds analysis for logic programs
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Computing worst-case response times in real-time avionics applications
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Hi-index | 0.00 |