Hochschulschrift

Verification of Erlang programs using abstract interpretation and model checking

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Sprache
Englisch
Anmerkungen
Aachen, Techn. Hochsch., Diss., 2001

Schlagwort
Verteiltes System
Softwareentwicklung
Funktionale Programmiersprache
Programmverifikation
Model Checking
Abstrakte Interpretation

Urheber

URN
urn:nbn:de:hbz:82-opus-4303
urn:nbn:de:hbz:82-20021703
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:51 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Objekttyp

  • Hochschulschrift

Beteiligte

Ähnliche Objekte (12)

Verification of Erlang programs using abstract interpretation and model checking

Hochschulschrift

Verification of Erlang programs using abstract interpretation and model checking

Verification, model checking, and abstract interpretation : 7th international conference ; proceedings

Konferenzschrift | Kongress

Verification, model checking, and abstract interpretation : 7th international conference ; proceedings

Verification, model checking, and abstract interpretation : 5th international conference ; proceedings

Konferenzschrift | Kongress

Verification, model checking, and abstract interpretation : 5th international conference ; proceedings

Verification, model checking, and abstract interpretation : 9th international conference ; proceedings

Konferenzschrift | Kongress

Verification, model checking, and abstract interpretation : 9th international conference ; proceedings

Verification, model checking, and abstract interpretation : 11th international conference ; proceedings

Konferenzschrift | Kongress

Verification, model checking, and abstract interpretation : 11th international conference ; proceedings

Verification, model checking, and abstract interpretation : 15th international conference ; proceedings

Konferenzschrift | Kongress

Verification, model checking, and abstract interpretation : 15th international conference ; proceedings

Verification, model checking, and abstract interpretation : 16th international conference ; proceedings

Konferenzschrift | Kongress

Verification, model checking, and abstract interpretation : 16th international conference ; proceedings

Verification, model checking, and abstract interpretation : 12th international conference ; proceedings

Konferenzschrift | Kongress

Verification, model checking, and abstract interpretation : 12th international conference ; proceedings

Verification, model checking, and abstract interpretation : 13th international conference ; proceedings

Konferenzschrift | Kongress

Verification, model checking, and abstract interpretation : 13th international conference ; proceedings

Verification, model checking, and abstract interpretation : 10th international conference ; proceedings

Konferenzschrift | Kongress

Verification, model checking, and abstract interpretation : 10th international conference ; proceedings

Verification, model checking, and abstract interpretation : 8th international conference ; proceedings

Konferenzschrift | Kongress

Verification, model checking, and abstract interpretation : 8th international conference ; proceedings

Verification, model checking, and abstract interpretation : 14th international conference ; proceedings

Konferenzschrift | Kongress

Verification, model checking, and abstract interpretation : 14th international conference ; proceedings

Verbundene Objekte