Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
|---|---|
| Γλώσσα: | Αγγλικά |
| Έκδοση: |
Association for Computing Machinery (ACM),
5/3/10
|
| Θέματα: | |
| Διαθέσιμο Online: | Full text available on Research4Life (ACM) |
Παρόμοια τεκμήρια
Proceedings of the 2010 ICSE Workshop on Software Engineering for Secure Systems
Proceedings of the 2010 ICSE Workshop on Software Development Governance
Stochastic Models
Stochastic Models
Stochastic Models
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care
Proceedings of the 2010 ICSE Workshop on Emerging Trends in Software Metrics
Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Proceedings of the 2010 ICSE Workshop on Cooperative and Human Aspects of Software Engineering
Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering
Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications
Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of Software Models
Stochastics & Stochastics Reports
Stochastics and Stochastic Reports
Communications in Statistics. Stochastic Models
Proceedings of the 2010 ICSE Workshop on Sharing and Reusing Architectural Knowledge
Proceedings of the Warm Up Workshop for ACM/IEEE ICSE 2010
Proceedings of the 2009 ICSE Workshop on Software Engineering for Secure Systems
Stochastics
Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering
Proceedings of the 2009 ICSE Workshop on Software Development Governance
Applied Stochastic Models in Business & Industry
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Proceedings of the 2009 ICSE Workshop on Leadership and Management in Software Architecture
Proceedings of the 2009 ICSE Workshop on Software Engineering in Health Care
Finance and Stochastics
Finance & Stochastics
Modeling, Simulation, and Verification of Space-based Systems III
Modeling, Simulation, and Verification of Space-based Systems II
Proceedings of 2010 ICSE Workshop on Search-driven Development: Users, Infrastructure, Tools and Evaluation
Proceedings of the 2009 ICSE Workshop on Cooperative and Human Aspects on Software Engineering
Proceedings of the 2009 ICSE Workshop on Software Engineering Challenges of Cloud Computing
Proceedings of the 2009 ICSE Workshop on Software Engineering for Computational Science and Engineering
Proceedings of the 2009 ICSE Workshop on Traceability in Emerging Forms of Software Engineering
Proceedings of the 2010 international conference on Models in software engineering