Automatic Verification of Behavior of UML Requirements Specifications using Model Checking

収録刊行物

• Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development

  Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development 158-166, 2020-01-01

  SCITEPRESS - Science and Technology Publications