Aarhus University Seal / Aarhus Universitets segl

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

Publikation: KonferencebidragPaperForskningpeer review

Standard

Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. / Jørgensen, J.B.; Christensen, S.; Tuovinen, A.; Xu, J.; Steffen, B. (Redaktør); Margaria, T. (Redaktør).

2004. Paper præsenteret ved 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004), Paphos, Cypern.

Publikation: KonferencebidragPaperForskningpeer review

Harvard

Jørgensen, JB, Christensen, S, Tuovinen, A, Xu, J, Steffen, B (red.) & Margaria, T (red.) 2004, 'Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets', Paper fremlagt ved 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004), Paphos, Cypern, 30/10/2004 - 02/11/2004.

APA

Jørgensen, J. B., Christensen, S., Tuovinen, A., Xu, J., Steffen, B. (red.), & Margaria, T. (red.) (2004). Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. Paper præsenteret ved 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004), Paphos, Cypern.

CBE

Jørgensen JB, Christensen S, Tuovinen A, Xu J, Steffen B, Margaria T, red. 2004. Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. Paper præsenteret ved 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004), Paphos, Cypern.

MLA

Jørgensen, J.B. o.a.. Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004), 30 okt. 2004, Paphos, Cypern, Paper, 2004.

Vancouver

Jørgensen JB, Christensen S, Tuovinen A, Xu J, Steffen B, (ed.), Margaria T, (ed.). Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. 2004. Paper præsenteret ved 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004), Paphos, Cypern.

Author

Jørgensen, J.B. ; Christensen, S. ; Tuovinen, A. ; Xu, J. ; Steffen, B. (Redaktør) ; Margaria, T. (Redaktør). / Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. Paper præsenteret ved 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004), Paphos, Cypern.

Bibtex

@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 = "null ; Conference date: 30-10-2004 Through 02-11-2004",

}

RIS

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

Y2 - 30 October 2004 through 2 November 2004

ER -