The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems
Work
Year: 2006
Type: article
Source: Electronic Commerce Research
Institution Universidade Federal de Minas Gerais
Cites: 33
Cited by: 3
Related to: 10
FWCI: 0.303
Citation percentile (by year/subfield): 54.24
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Industry, innovation and infrastructure
Open Access status: closed