137
click to vote
IAW
2003
IEEE
15 years 8 months ago
2003
IEEE
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...