Title: Formal Methods Applied to Industrial Complex Systems (Computer Engineering)
Subjects: Industries, data processing