Author:
Canal Carlos,Cámara Javier,Salaün Gwen
Reference26 articles.
1. A logical basis for the specification of reconfigurable component-based systems;Aguirre,2003
2. Learning regular sets from queries and counterexamples;Angluin;Information and Computation,1987
3. SYNTHESIS: a tool for automatically assembling correct and distributed component-based systems;Autili,2007
4. R.J. Back, Incremental software construction with refinement diagrams. Technical Report 660, Turku Center for Computer Science, 2005.
5. Behavioural models for distributed Fractal components;Barros;Annals of Telecommunications,2009
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献