Provides society information that may include news, reviews or technical notes should be of interest to practitioners and researchers.

abstract background: today disasters are a part of many people’s lives. iran has a long history of disaster events and nurses are one of the most significant groups within the iranian disaster relief operations, providing immediate and long-term care for those affected by the disaster. however, the technical competence of iranian nurses and their training for this work has received little atten...

Current approaches to model checking distributed systems reduce the problem to that of model checking centralized systems: global states involving all nodes and communication links are systematically explored. The frequent changes in the network element of the global states lead however to a rapid state explosion and make it impossible to model check any non-trivial distributed system. We explo...