Kronos: a model-checking tool for real-time systems
Abstract
Kronos is a software tool aiming at assisting designers of real-time systems to develop projects meeting the specified requirements.
Domains
Embedded Systems
Origin : Files produced by the author(s)
Loading...