ju.se
Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
Statistics
English
Svenska
Norsk
Jump to content
Change search
Search
Search
Only documents with full text in DiVA
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-6452
Direct link
http://hj.diva-portal.org/smash/record.jsf?pid=diva2:37272
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
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
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
Functional Test Generation for Finite State Machines
Ubar, Raimund
Tallinn Technical University.
Brik, Marina
Tallinn Technical University.
Jutman, Artur
Tallinn Technical University.
Raik, Jaan
Tallinn Technical University.
Bengtsson, Tomas
Tallinn Technical University.
Kumar, Shashi
Jönköping University, School of Engineering, JTH, Computer and Electrical Engineering.
Show others and affiliations
2006 (Swedish)
In:
BEC 2006 : 2006 International Baltic Electronics Conference: proceedings of the 10th biennial Baltic Electronics Conference : Tallinn University of Technology, October 2-4, 2006, Tallinn, Estonia, 2006, p. 205-208
Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
2006. p. 205-208
National Category
Engineering and Technology
Identifiers
URN:
urn:nbn:se:hj:diva-6452
DOI:
10.1109/BEC.2006.311099
ISBN:
1-4244-0414-2 (print)
OAI: oai:DiVA.org:hj-6452
DiVA, id:
diva2:37272
Conference
2006 International Baltic Electronics Conference
Available from:
2007-08-03
Created:
2007-08-03
Last updated:
2011-06-23
Bibliographically approved
Open Access in DiVA
No full text in DiVA
Other links
Publisher's full text
Authority records
Bengtsson, Tomas
Kumar, Shashi
Search in DiVA
By author/editor
Bengtsson, Tomas
Kumar, Shashi
By organisation
JTH, Computer and Electrical Engineering
On the subject
Engineering and Technology
Search outside of DiVA
Google
Google Scholar
doi
isbn
urn-nbn
Altmetric score
doi
isbn
urn-nbn
Total: 213 hits
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-6452
Direct link
http://hj.diva-portal.org/smash/record.jsf?pid=diva2:37272
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
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
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
v. 2.47.0
|
WCAG
|
Jönköping University
|
Jönköping University Library
DiVA
Logotyp