TitleVerification of cyber-physical systems
Publication TypeWorkshop Paper
Year of Publication2010
AuthorsPluska M., Sinclair D
URLhttp://ulir.ul.ie/handle/10344/669