Model-based testing of reactive systems : advanced lectures / by Broy, M., 1949-

Engineering dependable software systems / by NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany), Broy, M., 1949- editor, Peled, Doron A., 1962- editor, Kalus, Georg editor, NATO Emerging Security Challenges Division

Software and Systems Safety − Specification and Verification

Other Authors: “…Broy, M…”

Tools for Test Case Generation. by Belinfante, A, Frantzen, L, Schallhart, C

Other Authors: “…Broy, M…”

An Introduction to the Theory of Lists by Bird, R

Other Authors: “…Broy, M…”

Structure of an Operating System by Hoare, C, McKeag, R

Other Authors: “…Broy, M…”

Discrete Event Simulation Based on Communicating Sequential Processes by Kaubisch, W, Hoare, C

Other Authors: “…Broy, M…”

Unifying Models of Data Flow by Hoare, T, Wickerson, J

Other Authors: “…Broy, M…”

Notes on Communicating Systems by Hoare, C

Other Authors: “…Broy, M…”