Formal methods (Computer science)

Overview

Works:	5 works in 5 publications in 1 languages

Titles

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers by: Beek, Maurice H. ter; WS-FM 2012 (2012)); Lohmann, N. (Language materials, printed)

Understanding formal methods by: Monin, Jean-Francois; Hinchey, Michael G. (Language materials, printed)

Practical UML statecharts in C/C++ : event-driven programming for embedded systems by: Samek, Miro (Language materials, printed)

Design patterns formalization techniques by: Taibi, Toufik (Language materials, printed)

Teamwork in multi-agent systems : a formal approach by: Verbrugge, Rineke; Dunin-Keplicz, Barbara (Electronic resources)