arXiv Open Access 2014

Towards Focus on Time

Maria Spichkova

Lihat Sumber

Abstrak

This short paper introduces a model for the specification and verification of real-time system design: timed state transition diagrams.

cs.FL cs.LO

Maria Spichkova

APA MLA BibTeX

Spichkova, M. (2014). Towards Focus on Time. https://arxiv.org/abs/1403.1006

Lihat di Sumber

Informasi Jurnal