Monografie
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
- Sprache
-
Deutsch
- Anmerkungen
-
Ilmenau, Techn. Univ., Diss., 2004
- Identifier
-
974934992
Thema
Echtzeitsystem ; Verteiltes System ; UML ; Verifikation ; Petri-Netz ; Eingebettetes System; Verteiltes Echtzeitsystem; Softwareentwicklung; Gefärbtes Petri-Netz; Systementwurf; Hochschulschrift
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:55 MEZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Entwicklung eines petrinetzbasierten Analysevefahrens zur Zuverlässigkeitserhöhung von verteilten Computersteuerungssystemen auf der Entwurfsebene
Modeling and control of closed loop networked PLC-systems = Modellierung und Regelung von vernetzten SPS-Regelungssystemen
CNet - komponentenbasierter Entwurf verteilter Steuerungssysteme mit Petri-Netzen
Process landscaping : eine Methode zur Modellierung und Analyse verteilter Softwareprozesse
Prozess-Infrastruktur für Agentenanwendungen
Theorie und Praxis der Netzentfaltungen als Grundlage für die Verifikation nebenläufiger Systeme
Optimierte Auslegung verteilter Realzeitsysteme
Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und generalisierten Netzen
Agile Softwareentwicklung für embedded real time systems mit der UML
Prozess-Infrastruktur für Agentenanwendungen
Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Entwicklung eines petrinetzbasierten Analysevefahrens zur Zuverlässigkeitserhöhung von verteilten Computersteuerungssystemen auf der Entwurfsebene
Modeling and control of closed loop networked PLC-systems = Modellierung und Regelung von vernetzten SPS-Regelungssystemen
CNet - komponentenbasierter Entwurf verteilter Steuerungssysteme mit Petri-Netzen
Process landscaping : eine Methode zur Modellierung und Analyse verteilter Softwareprozesse
Prozess-Infrastruktur für Agentenanwendungen
Theorie und Praxis der Netzentfaltungen als Grundlage für die Verifikation nebenläufiger Systeme
Optimierte Auslegung verteilter Realzeitsysteme
Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und generalisierten Netzen
Agile Softwareentwicklung für embedded real time systems mit der UML
Prozess-Infrastruktur für Agentenanwendungen
Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Entwicklung eines petrinetzbasierten Analysevefahrens zur Zuverlässigkeitserhöhung von verteilten Computersteuerungssystemen auf der Entwurfsebene
Modeling and control of closed loop networked PLC-systems = Modellierung und Regelung von vernetzten SPS-Regelungssystemen
CNet - komponentenbasierter Entwurf verteilter Steuerungssysteme mit Petri-Netzen
Process landscaping : eine Methode zur Modellierung und Analyse verteilter Softwareprozesse
Prozess-Infrastruktur für Agentenanwendungen
Theorie und Praxis der Netzentfaltungen als Grundlage für die Verifikation nebenläufiger Systeme
Optimierte Auslegung verteilter Realzeitsysteme
Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und generalisierten Netzen
Agile Softwareentwicklung für embedded real time systems mit der UML
Prozess-Infrastruktur für Agentenanwendungen