HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:transformation

Papers
Professional Competences of the Economic, Administrative and Accounting Sciences in the Framework of Industry 4.0
Leidy Paola Cruz Botache, Nidia Mileydy Herrera Osorio and Erick Sierra Castillo
EasyChair Preprint no. 3944
Adaptive Intelligence - catalysing an evolutionary economic transformation
Claudius van Wyk
EasyChair Preprint no. 2295
SWRL2SPIN: Converting SWRL to SPIN
Nick Bassiliades
EasyChair Preprint no. 520
Transforming Event B Models into Verified C# Implementations
Dominique Mery and Rosemary Monahan
In:VPT 2013. First International Workshop on Verification and Program Transformation
Copyright © 2012-2022 easychair.org. All rights reserved.