Possibilities and limitations of formal methods for business process analysis and design // Joseph Barjis
On monday, May 27th, was held a session of the PAIS Lab seminar. Joseph Barjis (associate professor of the TU Delft) presented the report on subject: Possibilities and limitations of formal methods for business process analysis and design.
more (ru)...
more (ru)...