Author:
Héam Pierre-Cyrille,Kouchnarenko Olga,Voinot Jérôme
Reference68 articles.
1. The Design and Analysis of Computer Algorithms;Aho,1974
2. Behavioural models for distributed Fractal components;Barros;Annales des Télécommunications,2009
3. On the optimal reachability problem of weighted timed automata;Bouyer;Formal Methods in System Design,2007
4. Characteristics of Software Quality;Boehm,1978
5. Web service interfaces;Beyer,2005
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Service substitutability analysis based on behavior automata;Innovations in Systems and Software Engineering;2012-09-04
2. Towards Timed Requirement Verification for Service Choreographies;Proceedings of the 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing;2012