Romijn J.M.T. (ed.), Smith G.P. (ed.), van de Pol J.C. (ed.) — Integrated Formal Methods
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Integrated Formal Methods
Авторы: Romijn J.M.T. (ed.), Smith G.P. (ed.), van de Pol J.C. (ed.)
Аннотация:
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, held in Eindhoven, The Netherlands, in November/December 2005. The 19 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on components, state/event-based verification, system development, applications of B, tool support, non-software domains, semantics, as well as UML and statecharts.
|
|
О проекте