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
Computer Performance Evaluation and Benchmarking [E-Book] : SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings /

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

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

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

Full text 
Favorites
Saved in:
7
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:
8
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:
9
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:
10
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:
11
Hybrid Systems: Computation and Control [E-Book] : Second International Workshop, HSCC’99 Berg en Dal, The Netherlands, March 29–31, 1999 Proceedings /

Full text 
Favorites
Saved in:
12
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [E-Book] : 13th International Workshop, PATMOS 2003, Torino, Italy, September 10-12, 2003, Proceedings /

Full text 
Favorites
Saved in:
13
Integrated Circuit and System Design [E-Book] : Power and Timing Modeling, Optimization and Simulation; 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004, Proceedings /

Full text 
Favorites
Saved in:
14
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings [E-Book] /

Full text 
Favorites
Saved in:
15
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:
16
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:
17
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 4148) / 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings [E-Book]

Full text 
Favorites
Saved in:
18
Integrated Circuit Design [E-Book] : Power and Timing Modeling, Optimization and Simulation 10th International Workshop,PATMOS 2000 Göttingen, Germany, September 13–15, 2000 Proceedings /

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

Full text 
Favorites
Saved in:
20
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:

Narrow Search Results