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

Research output: Contribution to conferencePaperResearchpeer-review

  • J.B. Jørgensen, Denmark
  • S. Christensen
  • A. Tuovinen, Denmark
  • J. Xu, Denmark
  • B. Steffen, Denmark
  • T. Margaria, Denmark
  • Department of Computer Science
Original languageEnglish
Publication year2004
Publication statusPublished - 2004
Event1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004) - Paphos, Cyprus
Duration: 30 Oct 20042 Nov 2004

Conference

Conference1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004)
CountryCyprus
CityPaphos
Period30/10/200402/11/2004

See relations at Aarhus University Citationformats

ID: 282268