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

formal model


Formal model is mentioned in 184 events. This topic is an active interest of Thomas Eiter, Paul Sabatier and Bernhard Thalheim.

about


tracker for formal model


November 29, 2008

Modeling and implementation of service-oriented enterprise systems was added.

November 27, 2008

Open source certification was updated.

November 25, 2008

International journal of software science and computational intelligence was added.

November 22, 2008

3rd kes international symposium on agents and multi-agent systems - technologies and applications (KES-AMSTA 2009) was updated.

» 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.