(Information Technology_ Transmission, Processing & Storage) Harry D. Foster, Adam C. Krolnik, David J. Lacey - Assertion-Based Design -Kluwer Academic (2004)
By Assertion-Based Design -Kluwer Academic (2004)
2007., ()
(Topics in Safety, Risk, Reliability and Quality 15) Margot P. C. Weijnen, Zofia Lukszo (auth.), Zofia Lukszo, Geert Deconinck, Margot P. C. Weijnen (eds.)
By Securing Electricity Supply in the Cyber A
101., ()