Aarhus University Seal / Aarhus Universitets segl

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

Publikation: KonferencebidragPaperForskningpeer review

  • J.B. Jørgensen, Danmark
  • S. Christensen
  • A. Tuovinen, Danmark
  • J. Xu, Danmark
  • B. Steffen, Danmark
  • T. Margaria, Danmark
  • Datalogisk Institut
OriginalsprogEngelsk
Udgivelsesår2004
StatusUdgivet - 2004
Begivenhed1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004) - Paphos, Cypern
Varighed: 30 okt. 20042 nov. 2004

Konference

Konference1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004)
LandCypern
ByPaphos
Periode30/10/200402/11/2004

Se relationer på Aarhus Universitet Citationsformater

ID: 282268