Analysis and formal Verification of SDL'92 Specifications using Extended Petri Nets
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Bibliographic citation
-
Informatik-Berichte ; Ausgabe 43, 1995
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Humboldt-Universität zu Berlin
- (when)
-
2005
- Creator
- DOI
-
10.18452/2444
- URN
-
urn:nbn:de:kobv:11-10043047
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:49 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Fischer, Joachim
- Dimitrov, Evgeni
- Taubert, Udo
- Humboldt-Universität zu Berlin
Time of origin
- 2005
Other Objects (12)
Analysis and formal verification of SDL'92 specifications using extended Petri nets
Die Osteosynthese pertrochantärer Femurfrakturen mit der dynamischen Hüftschraube : eine klinische und radiologische Verlaufsstudie
Erzeugung von Gegentaktimpulsen mit hoher Symmetrie und Schaltzeiten im PS-Bereich zur Ansteuerung von Serientor-Sampling-Leitungen mit Diodentoren
Philosophische Anthropologie : zur Bildungsgeschichte eines Denkansatzes
Zu Angriffen gegen die historische Mission der Arbeiterklasse und die sozialistische Lebensweise in der politischen Bildung der BRD
Simula und Simulation kombinierter Modelle
Der Meister : ein Arbeitskrafttypus zwischen Erosion und Stabilisierung
Der Kirchenkampf in der evangelisch-lutherischen Landeskirche Sachsens 1933 bis 1937, [Nebst] Anh.
Beiträge zum Problem des Einarmigen Banditen
Fischer, Joachim, Dr.
Softwaretechnologie "Rapid Prototyping" bei der Entwicklung von Kommunikationssoftware verteilter sowie eingebetteter Systeme
Untersuchungen zur Effektivität experimenteller chemischer Aufgabenstellungen für Studenten
Analysis and formal verification of SDL'92 specifications using extended Petri nets
Die Osteosynthese pertrochantärer Femurfrakturen mit der dynamischen Hüftschraube : eine klinische und radiologische Verlaufsstudie
Erzeugung von Gegentaktimpulsen mit hoher Symmetrie und Schaltzeiten im PS-Bereich zur Ansteuerung von Serientor-Sampling-Leitungen mit Diodentoren
Philosophische Anthropologie : zur Bildungsgeschichte eines Denkansatzes
Zu Angriffen gegen die historische Mission der Arbeiterklasse und die sozialistische Lebensweise in der politischen Bildung der BRD
Simula und Simulation kombinierter Modelle
Der Meister : ein Arbeitskrafttypus zwischen Erosion und Stabilisierung
Der Kirchenkampf in der evangelisch-lutherischen Landeskirche Sachsens 1933 bis 1937, [Nebst] Anh.
Beiträge zum Problem des Einarmigen Banditen
Fischer, Joachim, Dr.
Softwaretechnologie "Rapid Prototyping" bei der Entwicklung von Kommunikationssoftware verteilter sowie eingebetteter Systeme
Untersuchungen zur Effektivität experimenteller chemischer Aufgabenstellungen für Studenten
Analysis and formal verification of SDL'92 specifications using extended Petri nets
Die Osteosynthese pertrochantärer Femurfrakturen mit der dynamischen Hüftschraube : eine klinische und radiologische Verlaufsstudie
Erzeugung von Gegentaktimpulsen mit hoher Symmetrie und Schaltzeiten im PS-Bereich zur Ansteuerung von Serientor-Sampling-Leitungen mit Diodentoren
Philosophische Anthropologie : zur Bildungsgeschichte eines Denkansatzes
Zu Angriffen gegen die historische Mission der Arbeiterklasse und die sozialistische Lebensweise in der politischen Bildung der BRD
Simula und Simulation kombinierter Modelle
Der Meister : ein Arbeitskrafttypus zwischen Erosion und Stabilisierung
Der Kirchenkampf in der evangelisch-lutherischen Landeskirche Sachsens 1933 bis 1937, [Nebst] Anh.
Beiträge zum Problem des Einarmigen Banditen
Fischer, Joachim, Dr.
Softwaretechnologie "Rapid Prototyping" bei der Entwicklung von Kommunikationssoftware verteilter sowie eingebetteter Systeme