A UNITY Mapping Operator for Distributed Programs
Authors:
Michel Charpentier
Affiliations:
-
Venue:
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Year:
1997
Citing
0
Cited
1
Mapping PUNITY to UniNet
Journal of Computer Science and Technology
Quantified Score
Hi-index
0.00
Visualization
Abstract