Diseño y análisis formal de sistemas de software
FADOSS
Max Planck Institute for Psycholinguistics
Nimega, HolandaPublications en collaboration avec des chercheurs de Max Planck Institute for Psycholinguistics (1)
2014
-
ResAna: A resource analysis toolset for (real-time) JAVA
Concurrency Computation , Vol. 26, Núm. 14, pp. 2432-2455