×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [stateevent p]
Home >
stateevent p
SYSTEMATIC THOUGHT LEADERSHIP FOR INNOVATIVE BUSINESS Towards Security Vulnerability Detection by Source Code Model Checking Keqin Li April, 2010.
104 views
Specification Patterns Early taxonomy for property specifications –safety properties: nothing bad will ever happen –liveness properties: something good.
220 views
Specification Patterns
15 views