نتایج جستجو
Software Engineering of Fault Tolerant Systems (Software Engineering and Knowledge Engineering) (Software Engineering and Knowledge Engineering) (Series ... Engineering and Knowledge Engineering)
P. Pelliccione, N. Guelfi, H. Muccini, A. Romanovsky, 2007
Knowledge-Based Software Engineering: Proceedings of the Fifth Joint Conference on Knowledge-Based Software Engineering
Joint Conference on Knowledge-Based Software Engineering 2002 malibor, 2002
New Trends in Software Process Modelling (Software Engineering and Knowledge Engineering) (Series on Software Engineering and Knowledge Engineering)
Maria I. Sanchez-segura (Editor) Silvia T. Acuna (Editor), 2006
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.), 2014
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.), 2014
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014
Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer, 2014

مقالات ISI مرتبط

