KIT | KIT-Bibliothek | Impressum | Datenschutz

Automated Sustainability Compliance Checking Using Process Mining and Formal Logic

Schreiber, C. ORCID iD icon 1
1 Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB), Karlsruher Institut für Technologie (KIT)


Download
Originalveröffentlichung
DOI: 10.1145/3401335.3401355
Scopus
Zitationen: 3
Dimensions
Zitationen: 2
Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2020
Sprache Englisch
Identifikator ISBN: 978-1-4503-7595-5
KITopen-ID: 1000123903
Erschienen in International Conference on ICT for Sustainability, ICT4S 2020, 21st - 27th June 2020
Veranstaltung 7th International Conference on ICT for Sustainability (ICT4S 2020 2020), Online, 21.06.2020 – 27.06.2020
Verlag Association for Computing Machinery (ACM)
Seiten 181-184
Bemerkung zur Veröffentlichung Die Veranstaltung fand wegen der Corona-Pandemie als Online-Event statt
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page