Better Quality in Synthesis through Quantitative ObjectivesReportar como inadecuado



 Better Quality in Synthesis through Quantitative Objectives


Better Quality in Synthesis through Quantitative Objectives - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Descargar gratis o leer online en formato PDF el libro: Better Quality in Synthesis through Quantitative Objectives
Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another. For example, if a specification asks that every request is followed by a response, one may prefer an implementation that generates responses quickly but does not generate unnecess

Autor: Roderick Bloem; Krishnendu Chatterjee; Thomas A. Henzinger; Barbara Jobstmann

Fuente: https://archive.org/







Documentos relacionados