Monografie
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
- Sprache
-
Deutsch
- Umfang
-
156 S.
- Anmerkungen
-
Ilmenau, Univ., Diss., 2004
- Identifier
-
972638652
Thema
Echtzeitsystem ; Verteiltes System ; UML ; Verifikation ; Petri-Netz ; Eingebettetes System; Verteiltes Echtzeitsystem; Softwareentwicklung; Gefärbtes Petri-Netz; Systementwurf; Hochschulschrift
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:26 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Modeling and control of closed loop networked PLC-systems = Modellierung und Regelung von vernetzten SPS-Regelungssystemen
Entwicklung eines petrinetzbasierten Analysevefahrens zur Zuverlässigkeitserhöhung von verteilten Computersteuerungssystemen auf der Entwurfsebene
CNet - komponentenbasierter Entwurf verteilter Steuerungssysteme mit Petri-Netzen
Agile Softwareentwicklung für embedded real time systems mit der UML
Prozess-Infrastruktur für Agentenanwendungen
Process landscaping : eine Methode zur Modellierung und Analyse verteilter Softwareprozesse
Prozess-Infrastruktur für Agentenanwendungen
Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und generalisierten Netzen
Concurrency and hardware design : advances in Petri nets
Verifying real-time systems
Advances in computing science - ASIAN '99 : proceedings
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Modeling and control of closed loop networked PLC-systems = Modellierung und Regelung von vernetzten SPS-Regelungssystemen
Entwicklung eines petrinetzbasierten Analysevefahrens zur Zuverlässigkeitserhöhung von verteilten Computersteuerungssystemen auf der Entwurfsebene
CNet - komponentenbasierter Entwurf verteilter Steuerungssysteme mit Petri-Netzen
Agile Softwareentwicklung für embedded real time systems mit der UML
Prozess-Infrastruktur für Agentenanwendungen
Process landscaping : eine Methode zur Modellierung und Analyse verteilter Softwareprozesse
Prozess-Infrastruktur für Agentenanwendungen
Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und generalisierten Netzen
Concurrency and hardware design : advances in Petri nets
Verifying real-time systems
Advances in computing science - ASIAN '99 : proceedings
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Modeling and control of closed loop networked PLC-systems = Modellierung und Regelung von vernetzten SPS-Regelungssystemen
Entwicklung eines petrinetzbasierten Analysevefahrens zur Zuverlässigkeitserhöhung von verteilten Computersteuerungssystemen auf der Entwurfsebene
CNet - komponentenbasierter Entwurf verteilter Steuerungssysteme mit Petri-Netzen
Agile Softwareentwicklung für embedded real time systems mit der UML
Prozess-Infrastruktur für Agentenanwendungen
Process landscaping : eine Methode zur Modellierung und Analyse verteilter Softwareprozesse
Prozess-Infrastruktur für Agentenanwendungen
Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und generalisierten Netzen
Concurrency and hardware design : advances in Petri nets
Verifying real-time systems