Erik Steenman - Code generation from Formal Specifications

author:Erik Steenman
title:Code generation from Formal Specifications
keywords:formal specifications, process algebra, code generation, automated verification and testing
topics:Languages, Software Technology
committee:prof.dr. J.C. van de Pol (1st supervisor)
graduation date:1 July 2016


Abstract

References

  1. Distributed code generation from Lotos NT specifications (Digital version available here)