×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [microspecifications]
Home >
microspecifications
Representing Micro-Macro Linkages by Actor-based DynamicNetwork Models Network Models
9 views
Towards Automatically Checking Thousands of Failures with Micro-Specifications Haryadi S. Gunawi, Thanh Do †, Pallavi Joshi, Joseph M. Hellerstein, Andrea.
214 views