Back to Search
Start Over
An Approach to Verifying Security and Timing Properties in UML Models.
- Source :
- 2010 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS); 2010, p193-202, 10p
- Publication Year :
- 2010
Details
- Language :
- English
- ISBNs :
- 9781424466382
- Database :
- Complementary Index
- Journal :
- 2010 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)
- Publication Type :
- Conference
- Accession number :
- 81385722
- Full Text :
- https://doi.org/10.1109/ICECCS.2010.10