Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze

Description

Ilmenau, Techn. Universiẗat, Diss., 2004.

Links & Downloads

1. http://www.db-thueringen.de/servlets/DerivateServlet/Derivate-3581/ilm1-2004000102.pdf
2. http://www.db-thueringen.de/servlets/DocumentServlet?id=2299
3. http://deposit.ddb.de/cgi-bin/dokserv?idn=974934992

Tags

Eingebettetes System

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/76756976
Date	January 2004
Creators	Fengler, Olga.
Publisher	[S.l. : s.n.],
Source Sets	OCLC
Language	German
Detected Language	German
Source	LF