Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets

Research output: Contribution to conference › Paper › Research › peer-review

Original language	English
Publication date	2004
Publication status	Published - 2004
Event	1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004) - Paphos, Cyprus Duration: 30 Oct 2004 → 2 Nov 2004

Conference	1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004)
Country/Territory	Cyprus
City	Paphos
Period	30/10/2004 → 02/11/2004

Library access?

@conference{3be3ad608c6311dcbee902004c4f4f50,

title = "Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets",

author = "J.B. J{\o}rgensen and S. Christensen and A. Tuovinen and J. Xu and B. Steffen and T. Margaria",

year = "2004",

language = "English",

note = "1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004) ; Conference date: 30-10-2004 Through 02-11-2004",

}

TY - CONF

T1 - Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets

AU - Jørgensen, J.B.

AU - Christensen, S.

AU - Tuovinen, A.

AU - Xu, J.

A2 - Steffen, B.

A2 - Margaria, T.

PY - 2004

Y1 - 2004

M3 - Paper

T2 - 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004)

Y2 - 30 October 2004 through 2 November 2004

ER -