Subject
Artificial Intelligence,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software
Reference42 articles.
1. A reference model for grid architectures and its validation;van der Aalst;Concurr. Comput.: Pract. Exper.,2010
2. Faultless systems: yes we can!;Abrial;Computer,2009
3. Compositional verification for timed systems based on automatic invariant generation;Astefanoaei;Log. Methods Comput. Sci.,2015
4. A general framework for architecture composability;Attie;Formal Asp. Comput.,2016
5. Task scheduling modelling and reliability evaluation of grid services using coloured petri nets;Azgomi;Future Gener. Comput. Syst.,2010
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献