Seminar: Formale Software-Entwicklung Dynamische Modellpru ¨ fung im Bereich von UML durch ¨ Ubersetzung von UML-Modellen nach PROMELA,

First Page		Document Content
Date: 2008-07-15 05:34:47		Seminar: Formale Software-Entwicklung Dynamische Modellpru ¨ fung im Bereich von UML durch ¨ Ubersetzung von UML-Modellen nach PROMELA, Add to Reading List Source URL: lfm.iti.kit.edu Download Document from Source Website File Size: 859,09 KB Share Document on Facebook