Publicações

A Case Study on Code Generation of an Erp System from Event-B

AuthID
P-00K-C62

Author(s)

Catano, N

Wahls, T

Editor(es)

Bilof, R

Tipo de Documento

Proceedings Paper

Year published

2015

Publicado

in 2015 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE SECURITY AND RELIABILITY (QRS 2015)

Páginas: 183-188 (6)

Conference

Ieee International Conference on Software Quality, Reliability and Security Companion (Qrs-C), Date: AUG 03-05, 2015, Location: Vancouver, CANADA, Patrocinadores: CPS, IEEE computer soc, IEEE, Reliability Soc

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1109/qrs.2015.34

SCOPUS: 2-s2.0-84962045010

Wos: WOS:000380466800023

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

A Case Study on Code Generation of an Erp System from Event-B

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

A Case Study on Code Generation of an Erp System from Event-B

Links Úteis

Ajuda