1
2
द्वारा International Conference on Formal Engineering Methods, Aoki, Toshiaki., Taguchi, Kenji.
प्रकाशित 2012.
पूर्ण पाठ प्राप्त करें प्रकाशित 2012.
Livro
3
द्वारा International Conference on Formal Engineering Methods, Breitman, K. K., Cavalcanti, Ana.
प्रकाशित 2009.
पूर्ण पाठ प्राप्त करें प्रकाशित 2009.
Livro
4
द्वारा International Conference on Formal Engineering Methods, Liu, Shaoying, Maibaum, T. S. E., Araki, Keijiro
प्रकाशित c2008
पूर्ण पाठ प्राप्त करें प्रकाशित c2008
Livro
5
द्वारा International Conference on Formal EngineeringMethods, ICFEM 2013, Groves, Lindsay, Sun, Jing
प्रकाशित 2013.
पूर्ण पाठ प्राप्त करें प्रकाशित 2013.
Livro
6
द्वारा International Conference on Formal Engineering Methods, Butler, Michael., Hinchey, Michael G., Larrondo-Petrie, Maria M.
प्रकाशित 2007.
पूर्ण पाठ प्राप्त करें प्रकाशित 2007.
Livro