An implementable formal language for hard real-time systems
By: Steven Paul Bradley.
Series: Theses (University of Northumbria at Newcastle)
Published: 1995
Language: eng