1
Applying Formal Methods: Testing, Performance, and M/E-Commerce [E-Book] : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 /

Full text 
Favorites
Saved in:
2
Composition of Embedded Systems. Scientific and Industrial Issues [E-Book] : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers /

Full text 
Favorites
Saved in:
3
Dependable Computing [E-Book] / Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings

Full text 
Favorites
Saved in:
4
Dependable Computing [E-Book] : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings /

Full text 
Favorites
Saved in:
5
Embedded Processor Design Challenges [E-Book] : Systems, Architectures, Modeling, and Simulation — SAMOS /

Full text 
Favorites
Saved in:
6
Formal Methods and Stochastic Models for Performance Evaluation [E-Book] : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings /

Full text 
Favorites
Saved in:
7
Formal Methods and Stochastic Models for Performance Evaluation [E-Book] / Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings

Full text 
Favorites
Saved in:
8
Formal Techniques for Computer Systems and Business Processes [E-Book] / European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September

Full text 
Favorites
Saved in:
9
Hybrid Systems: Computation and Control [E-Book] : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings /

Full text 
Favorites
Saved in:
10
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation [E-Book] : 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
11
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation : 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings [E-Book]/

Full text 
Favorites
Saved in:
12
Interactive Markov Chains [E-Book] : And the Quest for Quantified Quality /

Full text 
Favorites
Saved in:
13
Lectures on Formal Methods and PerformanceAnalysis [E-Book] : First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures /

Full text 
Favorites
Saved in:
14
Model-Based Engineering of Embedded Real-Time Systems [E-Book] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers /

Full text 
Favorites
Saved in:
15
On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors [E-Book] /

Full text 
Favorites
Saved in:
16
Process Algebra and Probabilistic Methods: Performance Modeling and Verification [E-Book] : Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings /

Full text 
Favorites
Saved in:
17
Process Algebra and Probabilistic Methods. Performance Modelling and Verification [E-Book] : Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedings /

Full text 
Favorites
Saved in:
18
Quality of Software Architectures and Software Quality [E-Book] / First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, German

Full text 
Favorites
Saved in:
19
Quality of Software Architectures [E-Book] / Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers

Full text 
Favorites
Saved in:
20
Reliable Systems on Unreliable Networked Platforms [E-Book] : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers /

Full text 
Favorites
Saved in:

Narrow Search Results