Sciweavers

15644 search results - page 244 / 3129
» Brittle System Analysis
Sort
View
ENTCS
2007
73views more  ENTCS 2007»
15 years 6 months ago
Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems
Carlos Bazílio, Edward Hermann Haeusler, Ma...
IEICET
2007
62views more  IEICET 2007»
15 years 6 months ago
Capacity Analysis of Multiuser Diversity Combined with Dual MIMO Systems
Myoung-Won Lee, Cheol Mun, Jong-Gwan Yook
RE
2006
Springer
15 years 6 months ago
Fusing Quantitative Requirements Analysis with Model-based Systems Engineering
Steven L. Cornford, Martin S. Feather, Vance A. He...