×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [industrial successes]
Home >
industrial successes
Louis Althusser Resource pack
6.164 views
MCAI 2.0 Model Checking in Ten Minutes Edmund Clarke School of Computer Science Carnegie Mellon University.
215 views
Next-Generation Model Checking and Abstract Interpretation with a Focus on Systems Biology and Embedded Systems A Collaborative Proposal to the NSF Experimental.
214 views
INNOVATING WITH INFRASTUCTURE
38 views