100
click to vote
SECURWARE
2007
IEEE
15 years 9 months ago
2007
IEEE
The paper discusses an experience in using a realtime UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirement...