A Practical Event-B Refinement Method based on a UML-driven Development Process (2012)
Source: Lecture Notes in Computer Science. Unidade: EP
Assunto: ENGENHARIA ELÉTRICA
ABNT
SILVA, Paulo Sérgio Muniz e SOUSA, Thiago C. de e SNOOK, Colin F. A Practical Event-B Refinement Method based on a UML-driven Development Process. Lecture Notes in Computer Science, p. 357-360, 2012Tradução . . Disponível em: https://doi.org/10.1007/978-3-642-30885-7_31. Acesso em: 02 nov. 2024.APA
Silva, P. S. M., Sousa, T. C. de, & Snook, C. F. (2012). A Practical Event-B Refinement Method based on a UML-driven Development Process. Lecture Notes in Computer Science, 357-360. doi:10.1007/978-3-642-30885-7_31NLM
Silva PSM, Sousa TC de, Snook CF. A Practical Event-B Refinement Method based on a UML-driven Development Process [Internet]. Lecture Notes in Computer Science. 2012 ; 357-360.[citado 2024 nov. 02 ] Available from: https://doi.org/10.1007/978-3-642-30885-7_31Vancouver
Silva PSM, Sousa TC de, Snook CF. A Practical Event-B Refinement Method based on a UML-driven Development Process [Internet]. Lecture Notes in Computer Science. 2012 ; 357-360.[citado 2024 nov. 02 ] Available from: https://doi.org/10.1007/978-3-642-30885-7_31