Title: Formal methods for software architectures
Subjects: Computer systems, Real-time data processing, Congresses, Formal methods (Computer science), Computer software