On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework

DOI10.1007/978-3-642-32495-6_6zbMath1367.68058OpenAlexW1460572967MaRDI QIDQ3167528

Mihail Asăvoae, Irina Măriuca Asăvoae, Dorel Lucanu

Publication date: 2 November 2012

Published in: Foundational and Practical Aspects of Resource Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32495-6_6

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

From Rewriting Logic, to Programming Language Semantics, to Program Verification

Uses Software

• K-Maude

This page was built for publication: On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework