Model-Based Test Case Generation for Smart Cards


METADATA ONLY
Loading...

Date

2003-08

Publication Type

Journal Article

ETH Bibliography

no

Citations

Altmetric
METADATA ONLY

Data

Rights / License

Publication status

published

Editor

Book title

Volume

80

Pages / Article No.

170 - 184

Publisher

Elsevier

Event

Edition / version

Methods

Software

Geographic location

Date collected

Date created

Subject

Test case generation; Smart cards; Modeling languages; CASE

Organisational unit

03634 - Basin, David / Basin, David check_circle

Notes

Funding

Related publications and datasets