Using Timed Model Checking for Verifying Workflows

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
In: Proceedings : CEIS 2005, Seventh International Conference on Enterprise Information Systems#and the proceedings of workshops#WIS '05, MSVVEIS '05, NLUCS '05, IWUC '05, WOSIS '05, CSAC '05, PRIS '05, WSMDEIS '05 and DCEIS '05#Miami, U.S.A., May 24 - 28, 2005, Erscheinungsort: Setubal, Verlag: INSTICC, Erscheinungsjahr: 2005, Seiten: 75-88

Klassifikation
Wirtschaft

Ereignis
Veröffentlichung
(wo)
Leipzig
(wer)
Universitätsbibliothek Leipzig
(wann)
2019
Urheber

URN
urn:nbn:de:bsz:15-qucosa2-328787
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:54 MEZ

Datenpartner

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

Beteiligte

Entstanden

  • 2019

Ähnliche Objekte (12)