HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:specification language

Publications
Automatic and Interactive Validation of Study Regulations in Accreditation Processes of Higher Education Institutions
Markus von der Heyde, Chukwunwike Otunuya, Matthias Goebel, Dietmar Zoerner and Ulrike Lucke
In:Proceedings of European University Information Systems Congress 2023
A Brief Introduction to the PVS2C Code Generator
Natarajan Shankar
In:Automated Formal Methods
Constraint Problem Specification as Compression
Steve Prestwich, S. Armagan Tarim and Roberto Rossi
In:GCAI 2016. 2nd Global Conference on Artificial Intelligence
Copyright © 2012-2025 easychair.org. All rights reserved.