Design and Verification of Automation Systems Using RSDS

K Lano, D Clark, K Androutsopoulos, P Kan

Research output: Chapter in Book/Report/Conference proceedingConference paper

Original languageEnglish
Title of host publicationUnknown
PublisherUnknown Publisher
Publication statusPublished - 2001
Event10th IFAC Symposium on Information Control Problems in Manufacturing - Vienna University of Technology, Vienna
Duration: 1 Jan 2001 → …

Conference

Conference10th IFAC Symposium on Information Control Problems in Manufacturing
CityVienna University of Technology, Vienna
Period1/01/2001 → …

Cite this