An Optimization Approach for Effective Formalized fUML Model Checking.

Conference proceeding

Open access

Peer reviewed

I Abdelhalim, S Schneider and H Treharne

SEFM, Vol.7504, pp.248-262

2012

Abstract

pdf

SEFM-submission325.31 kBDownload View

TextSRIDA, Open Access

url

http://dx.doi.org/10.1007/978-3-642-33826-7_17View

Published (Version of record)

url

http://dx.doi.org/10.1007/978-3-642-33826-7View

485 File views/ downloads

23 Record Views

Title: An Optimization Approach for Effective Formalized fUML Model Checking.
Creators: I Abdelhalim
S Schneider
H Treharne
Contributors: G Eleftherakis
M Hinchey
M Holcombe
Springer (null)
Publication Details: SEFM, Vol.7504, pp.248-262
Date published: 2012
Date submitted: 25/10/2012
Identifiers: 99515156902346
Academic Unit: Department of Computer Science
Resource Type: Conference proceeding