Publications

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

AuthID
P-00K-C62

Author(s)

Catano, N

Wahls, T

Editor(s)

Bilof, R

Document Type

Proceedings Paper

Year published

2015

Published

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

Pages: 183-188 (6)

Conference

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

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/qrs.2015.34

Scopus: 2-s2.0-84962045010

Wos: WOS:000380466800023

Export Publication Metadata

Marked List

Add to Marked List

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

Useful Links

Get Help

Federated Authentication (Click on the image)

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

Useful Links

Get Help