Document details

Systematic mapping: formalization of uml semantics using temporal logic

Author(s): Delamaro, Márcio Eduardo

Date: 2015

Origin: Oasisbr

Subject(s): ENGENHARIA DE SOFTWARE; ENGENHARIA DE SOFTWARE; ENGENHARIA DE SOFTWARE


Document Type Other
Language English
facebook logo  linkedin logo  twitter logo 
mendeley logo