Items where Author is "Pescosta, Emmanuel"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Category | No Grouping
Jump to: Paper in Conference Proceedings or in Workshop Proceedings
Number of items: 2.

Paper in Conference Proceedings or in Workshop Proceedings

  • Structuring the State and Behavior of ASMs: Introducing a Trait-Based Construct for Abstract State Machine Languages
    Paulweber, Philipp and Pescosta, Emmanuel and Zdun, Uwe In: 7th International Conference on Rigorous State-Based Methods (ABZ'20) , 27-29 May 2020 , Ulm, Germany (2020)

  • CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation
    Paulweber, Philipp and Pescosta, Emmanuel and Zdun, Uwe In: 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ) , 5-8 June 2018 , Southampton, UK (2018)

    • This list was generated on Sat Nov 9 02:42:41 2024 CET.
    Universität Wien| Fakultät für Informatik | Währinger Straße 29 | 1090 Wien | T +43-1-4277-780 01 | Imprint | Webteam
    EPrints Logo
    CS is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.