| 1 |
A Process Algebraic Approach to Software Architecture Design
|
Alessandro Aldini
|
2010 |
Okänt |
| 2 |
Computer Performance Engineering - 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings
|
Alessandro. Aldini
|
2010 |
Engelska |
| 3 |
Formal Methods for Quantitative Aspects of Programming Languages - 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
|
Alessandro. Aldini
|
2010 |
Engelska |
| 4-5 |
A process algebraic approach to software architecture design
(flera utgåvor)
|
Alessandro Aldini
|
c2010 |
Engelska |
| 6 |
Formal Methods for Computational Systems Biology electronic resource - 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
|
Marco. Bernardo
|
2008 |
Engelska |
| 7 |
Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
|
Marco. Bernardo
|
2013 |
Engelska |
| 8 |
Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
|
Marco. Bernardo
|
2011 |
Engelska |
| 9 |
Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
|
Marco. Bernardo
|
2014 |
Engelska |
| 10 |
Formal Methods for Hardware Verification electronic resource - 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
|
Marco. Bernardo
|
2006 |
Engelska |
| 11-12 |
Formal Methods for Mobile Computing - 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
(flera utgåvor)
|
Marco. Bernardo
|
2005 |
Engelska |
| 13 |
Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
|
Marco. Bernardo
|
2012 |
Engelska |
| 14 |
"Formal Methods for Model-Driven Engineering: 12th International School on Formal Health for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures"
|
Marco Bernardo
|
2012 |
Okänt |
| 15 |
Formal Methods for Performance Evaluation electronic resource - 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
|
Marco. Bernardo
|
2007 |
Engelska |
| 16 |
"Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures"
|
Marco Bernardo
|
2007 |
Okänt |
| 17 |
Formal Methods for Web Services - 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
|
Marco. Bernardo
|
2009 |
Engelska |
| 18 |
Probabilistic Trace and Testing Semantics : The Importance of Being Coherent
|
Marco. Bernardo
|
uuuu-uuuu |
Okänt |
| 19 |
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures
|
|
2011 |
Okänt |
| 20 |
Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
|
|
2015 |
Engelska |