Real-time systems : formal specification and automatic verification

Ernst-Rüdiger Olderog and Henning Dierks
Bok · Engelsk · 2008

Utgitt	Cambridge : Cambridge University Press , 2008
Omfang	XVI, 320 s. : ill.
Emner	Sanntidssystemer sanntids system formelle spesifikasjon verifisering
Dewey	004.33
ISBN	9780521883337