Specification and analysis of real-time systems with PARAGON
Annals of Software Engineering
Behavioural preservation in fault tolerant patterns
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Hi-index | 0.00 |