Sciweavers

14331 search results - page 269 / 2867
» On the modeling and analysis of obligations
Sort
View
EIS
2008
43views more  EIS 2008»
15 years 5 months ago
Process-oriented organisation modelling and analysis
Viara Popova, Alexei Sharpanskykh
FOSSACS
2010
Springer
15 years 5 months ago
Model Checking Is Static Analysis of Modal Logic
Flemming Nielson, Hanne Riis Nielson
INTEGRATION
2010
70views more  INTEGRATION 2010»
15 years 5 months ago
Thermal modeling and analysis of 3D multi-processor chips
José L. Ayala, Arvind Sridhar, David Cuesta