Please log in if you want to be notified when Michael Butler is mentioned on Eventseer.net. Click the tracker button below to activate notifications.
Click the button to be notified on your personal tracker whenever Michael Butler is mentioned in an event.

Michael Butler


Michael Butler has been associated with 22 events and has a lot in common with Jin Song Dong, Michael Leuschel and Kaisa Sere. Michael's main research interests are model, formal methods and computer.

Are you Michael Butler? Then click the "Claim!" button to claim ownership of this page. (You will be asked to sign up and log in first.)



If you happen to know who this is, you can send Michael an invitation:



The owner of this page can edit his or her biography, post whiteboard entries, and get a personalized deadline calendar.

about


RSS feeds

Whiteboard RSS for Michael Butler Whiteboard


tracker for Michael Butler


January 6, 2009

14th IEEE international conference engineering of complex computer systems (ICECCS 2009) was added.

December 10, 2008

7th international conference on integrated formal methods (IFM 2009) was updated.

November 19, 2008

Abstract state machines (asm), alloy, b and z (ABZ10) was updated.

November 18, 2008

3rd IEEE international symposium on theoretical aspects of software engineering (TASE 2009) was added.

» Show all

Facts


Unable to load Flash content. The YUI Charts Control requires Flash Player 9.0.45 or higher. You can download the latest version of Flash Player from the Adobe Flash Player Download Center.