Author:
Herbegue Hajer,Filali Mamoun,Cassé Hugues
Publisher
Springer International Publishing
Reference19 articles.
1. CHOCO: An Open Source Java Constraint Programming Library,
http://choco.mines-nantes.fr
2. L3: An ISA Specification Languag,
http://www.cl.cam.ac.uk/~acjf3/l3/
3. Alglave, J., Fox, A., Ishtiaq, S., Myreen, M., Sarkar, S., Sewell, P., Nardelli, F.Z.: The semantics of power and arm multiprocessor machine code. In: Workshop on Declarative Aspects of Multicore Programming (DAMP), pp. 13–24 (2008)
4. Lecture Notes in Computer Science;C. Ballabriga,2010
5. Béchennec, J.L., Briday, M., Alibert, V.: Extending harmless architecture description language for embedded real-time systems validation. In: International Symposium on Industrial Embedded Systems, pp. 223–231 (2011)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献