Ein Model Checker verifiziert, ob ein Modell bestimmte Anforderungen erfüllt. Eine Möglichkeit, das Verhalten von Softwaresystemen zu modellieren, sind endliche Automaten. Diese finden Einzug in die Unified Modelling Language in Form von Statecharts. UML-Statecharts können ein hohes Maß an Komplexität erreichen, so dass sich ihr Zustandsraum nicht mehr komplett in den Hauptspeicher abbilden läs...

the main goal of land development plans initially is providing appropriate house for people and planning for pre- devised development of cities. the government plans for urban lands generally and subsequently grants them after implement their preparing process, recently the mehr house projects are planned to result in omitting land's value from total costs of residential buildings and enti...

Environmentally and technologically sulphur is a deleterious constitute in coal which makes it unsuitable for use in metallurgical industries unless the sulphur level can be reduced to the tolerable limit. Characterization of the various forms of sulphur and their associations in coal is an essential issue to find and propose a suitable desulphurization method. In this research, to evaluate sul...