Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Noch nicht die passende Literatur gefunden? → Book a Librarian

Ergebnis der Suche nach: auRef=122199626
im Bestand: Gesamter Bestand

1 - 9 von 9

	1	Interactive Verification of Statecharts Thums, Andreas. - Augsburg : Universität Augsburg, 2007
	2	Formale Methoden und Sicherheitsanalyse Thums, Andreas. - Augsburg : Universität Augsburg, 2006
	3	Integration formaler Spezifikation und Sicherheitsanalyse Reif, Wolfgang. - Augsburg : Universität Augsburg, 2006
	4	The Statemate Reference Model of the Reference Case Study 'Verkehrsleittechnik' Klose, Jochen. - Augsburg : Universität Augsburg, 2006
	5	[Fehlersuche in formalen Spezifikationen] Reif, Wolfgang. - Ulm : Universität Ulm. Fakultät für Informatik, 2005
	6	Formale Fehlerbaumanalyse Thums, Andreas, 2004
	7	Formale Fehlerbaumanalyse Thums, Andreas, 2004
	8	Interactive verification of UML state machines Balser, Michael. - Augsburg : Universität Augsburg, 2004
	9	Fehlersuche in formalen Spezifikationen Reif, Wolfgang. - Ulm : Univ., Fak. für Informatik, 2000

1 - 9 von 9

Alle Materialarten

Alle Kataloge/Sammlungen

Hochschulschriften (2)

Alle Standorte

Aktionen