Error message

  • Warning: Use of undefined constant CMF_Ln_English - assumed 'CMF_Ln_English' (this will throw an Error in a future version of PHP) in cmfcCalendarV1::factory() (line 63 of /home/mheidari/public_html/sites/all/modules/calendar_systems/calendar/v1/calendarV1.class.inc.php).
  • Warning: Use of undefined constant CMF_Error - assumed 'CMF_Error' (this will throw an Error in a future version of PHP) in cmfcCalendarV1::factory() (line 63 of /home/mheidari/public_html/sites/all/modules/calendar_systems/calendar/v1/calendarV1.class.inc.php).
  • Warning: get_class() expects parameter 1 to be object, null given in cmfcExceptionStandAlone::isError() (line 52 of /home/mheidari/public_html/sites/all/modules/calendar_systems/calendar/lib/exception.class.inc.php).
  • Warning: get_class() expects parameter 1 to be object, null given in cmfcExceptionStandAlone::isError() (line 52 of /home/mheidari/public_html/sites/all/modules/calendar_systems/calendar/lib/exception.class.inc.php).
  • Warning: get_class() expects parameter 1 to be object, null given in cmfcExceptionStandAlone::isError() (line 52 of /home/mheidari/public_html/sites/all/modules/calendar_systems/calendar/lib/exception.class.inc.php).

Research

Title Paper
Binary Decision Diagram PDF icon BDD.pdf
Component Based Development PDF icon component based development.pdf
Z Specification Language PDF icon The Z Specification Language.pdf, PDF icon CZT_A Framework for Z Tools.pdf, PDF icon The Z Notations.pdf
An Introduction to Model Checking PDF icon An introduction to modelchecking.pdf, PDF icon An introuduction to Model Checking.pdf