mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Automated Test Generation for Structured Text Language using UPPAAL Model Checker
Mälardalen University, School of Innovation, Design and Engineering. MDH. (Software Engineering)
2015 (English)Independent thesis Advanced level (degree of Master (One Year)), 20 credits / 30 HE creditsStudent thesis
Place, publisher, year, edition, pages
2015. , 81 p.
National Category
Other Electrical Engineering, Electronic Engineering, Information Engineering Other Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:mdh:diva-28412OAI: oai:DiVA.org:mdh-28412DiVA: diva2:824160
Subject / course
Computer Science
Presentation
(English)
Supervisors
Examiners
Available from: 2015-06-30 Created: 2015-06-20 Last updated: 2015-06-30Bibliographically approved

Open Access in DiVA

fulltext(3501 kB)507 downloads
File information
File name FULLTEXT01.pdfFile size 3501 kBChecksum SHA-512
ba457156d89e258b47c5764a0804cdcd2183d11078c33d7abe31cd4ea851282fe6c1bfa41d573c224238d637fa5e547ad9b84b9f62d75cc752e2f7beb3fb1664
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Markovic, Filip
By organisation
School of Innovation, Design and Engineering
Other Electrical Engineering, Electronic Engineering, Information EngineeringOther Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 507 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 143 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf