Sign in

Modelling temporal behaviour in complex systems with Timebands.

Kun WeiJim WoodcockAlan Burns
Published in: Formal Methods Syst. Des. (2013)
Keyphrases