ASTRAL

A Formal Specification Language for Real-Time Systems

http://www.cs.ucsb.edu/~seclab/projects/astral/index.html

Research topics

People involved

Faculty

Research Assistants

Last update
Jan. 18, 2013, 1:17 p.m.