6 citations · 6 across the 3 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2021
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design
Alessio Ferrari, Franco Mazzanti, Davide Basile +1
Formal methods and supporting tools have a long record of success in the development of safety-critical systems. However, no single tool has emerged as the dominant solution for sy…
cs.SE2009
Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing
Maurice H. ter Beek
Service-Oriented Computing (SOC) is an emerging new paradigm for distributed and object-oriented computing by allowing autonomous, platform-independent computational entities (call…