Home > Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings
Book Informaton
Access Options
Citation Options
Download CitationShowing 1 to 20 of 47 entries
Chapters/Headings | Author(s) | Pages | Info |
1-20 | |||
21-21 | |||
22-23 | |||
24-39 | |||
40-55 | |||
56-73 | |||
74-89 | |||
90-105 | |||
106-121 | |||
122-137 | |||
138-154 | |||
155-170 | |||
171-187 | |||
188-203 | |||
204-219 | |||
220-236 | |||
237-252 | |||
253-269 | |||
270-286 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 47 entries
Topics
Computer networks Computer science Software engineering Computer software Entscheidungsverfahren Programmtest Programmverifikation Formale Methode Serviceorientierte Architektur Softwareentwicklung Congresses Web Services Model Checking Leistungsbewertung Formal methods (Computer science) Programmanalyse Computer engineering