An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study
2018 ◽
Keyword(s):
Keyword(s):
2005 ◽
Vol 29
(6)
◽
pp. 556-563
◽
Keyword(s):