Title: Formal Methods Applied to Industrial Complex Systems
Subjects: Industries, data processing