A Complete Axiomatization for Reduced Clock Constraint Specification Language.

Bogdan Chornomaz Kirill Rukkas Kseniia Troino

Published in: ICTERI (2016)

Keyphrases

specification language
complete axiomatization
programming language
formal specification
description language
software environment
power consumption
database
software architecture