Permanent URI for this community

It produces reliable software systems in contexts where correctness, responsiveness, robustness and security are essential. It develops integrated research in three lines: formal methods for software development, reliable distributed systems and information security.


Collections of this Community

Now showing 1 - 5 of 11