A Practical Event-B Refinement Method based on a UML-driven Development Process (2012)
- Authors:
- Autor USP: SILVA, PAULO SERGIO MUNIZ - EP
- Unidade: EP
- Sigla do Departamento: PCS
- DOI: 10.1007/978-3-642-30885-7_31
- Assunto: ENGENHARIA ELÉTRICA
- Language: Inglês
- Source:
- Título do periódico: Lecture Notes in Computer Science
- Volume/Número/Paginação/Ano: vol. 7316, junho de 2012, p. 357-360
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
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: 28 mar. 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_31 -
NLM
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 mar. 28 ] Available from: https://doi.org/10.1007/978-3-642-30885-7_31 -
Vancouver
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 mar. 28 ] Available from: https://doi.org/10.1007/978-3-642-30885-7_31
Informações sobre o DOI: 10.1007/978-3-642-30885-7_31 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas