Gerard J. Holzmann
-
Leveraging UML to deliver correct telecom applications
UML for real
Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering
Computer Languages
Early fault detection in industry using models at various abstraction levels
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods