Sfoglia per Serie
Formal Methods for Dynamical Systems (SFM 2013)
2013 Bernardo, Marco; de Vink, Erik; Di Pierro, Alessandra; Wiklicky, Herbert
Formal Methods for Eternal Networked Software Systems (SFM 2011)
2011 Bernardo, Marco; Issarny, Valerie
Formal Methods for Executable Software Models (SFM 2014)
2014 Bernardo, Marco; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina
Formal Methods for Hardware Verification (SFM 2006)
2006 Bernardo, Marco; Cimatti, Alessandro
Formal Methods for Mobile Computing (SFM 2005)
2005 Bernardo, Marco; Bogliolo, Alessandro
Formal Methods for Model-Driven Engineering (SFM 2012)
2012 Bernardo, Marco; Cortellessa, Vittorio; Pierantonio, Alfonso
Formal Methods for Multicore Programming (SFM 2015)
2015 Bernardo, Marco; Johnsen, Einar Broch
Formal Methods for Performance Evaluation (SFM 2007)
2007 Bernardo, Marco; Hillston, Jane
Formal Methods for Quantitative Aspects of Programming Languages (SFM 2010)
2010 Aldini, Alessandro; Bernardo, Marco; Di Pierro, Alessandra; Wiklicky, Herbert
Formal Methods for Software Architectures (SFM 2003)
2003 Bernardo, Marco; Inverardi, Paola
Formal Methods for the Design of Real-Time Systems (SFM 2004)
2004 Bernardo, Marco; Corradini, Flavio
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems (SFM 2016)
2016 Bernardo, Marco; De Nicola, Rocco; Hillston, Jane
Formal Methods for Web Services (SFM 2009)
2009 Bernardo, Marco; Padovani, Luca; Zavattaro, Gianluigi
The Fortification System of the City of Urbino: The Case Study of Valbona Gate from 3D Surveys to GIS Applications for Dynamic Maps
2016 Bertozzi, Sara; Baratin, Laura; Moretti, Elvio
Foundations of Reversible Computation
2020 Aman, Bogdan; Ciobanu, Gabriel; Glück, Robert; Kaarsgaard, Robin; Kari, Jarkko; Kutrib, Martin; Lanese, Ivan; Mezzina, Claudio Antares; Mikulski, Łukasz; Nagarajan, Rajagopal; Phillips, Iain; Pinna, G. Michele; Prigioniero, Luca; Ulidowski, Irek; Vidal, Germán
Frequentist Probability Logic
2024 Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko
A General Approach to Deadlock Freedom Verification for Software Architectures
2003 Aldini, Alessandro; Bernardo, Marco
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference
2009 Aldini, Alessandro; Bernardo, Marco
Genesis and Evolution of ULTraS: Metamodel, Metaequivalences, Metaresults
2019 Bernardo, Marco
GIS AND 3D MODELS AS SUPPORT TO DOCUMENTATION AND PLANNING OF THE BAKU HISTORICAL CENTRE (REPUBLIC OF AZERBAIJAN)
2012 Baratin, Laura; Bertozzi, Sara; Moretti, Elvio; Spinella, Michele
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Formal Methods for Dynamical Systems (SFM 2013) | 1-gen-2013 | Bernardo, Marco; de Vink, Erik; Di Pierro, Alessandra; Wiklicky, Herbert | |
Formal Methods for Eternal Networked Software Systems (SFM 2011) | 1-gen-2011 | Bernardo, Marco; Issarny, Valerie | |
Formal Methods for Executable Software Models (SFM 2014) | 1-gen-2014 | Bernardo, Marco; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina | |
Formal Methods for Hardware Verification (SFM 2006) | 1-gen-2006 | Bernardo, Marco; Cimatti, Alessandro | |
Formal Methods for Mobile Computing (SFM 2005) | 1-gen-2005 | Bernardo, Marco; Bogliolo, Alessandro | |
Formal Methods for Model-Driven Engineering (SFM 2012) | 1-gen-2012 | Bernardo, Marco; Cortellessa, Vittorio; Pierantonio, Alfonso | |
Formal Methods for Multicore Programming (SFM 2015) | 1-gen-2015 | Bernardo, Marco; Johnsen, Einar Broch | |
Formal Methods for Performance Evaluation (SFM 2007) | 1-gen-2007 | Bernardo, Marco; Hillston, Jane | |
Formal Methods for Quantitative Aspects of Programming Languages (SFM 2010) | 1-gen-2010 | Aldini, Alessandro; Bernardo, Marco; Di Pierro, Alessandra; Wiklicky, Herbert | |
Formal Methods for Software Architectures (SFM 2003) | 1-gen-2003 | Bernardo, Marco; Inverardi, Paola | |
Formal Methods for the Design of Real-Time Systems (SFM 2004) | 1-gen-2004 | Bernardo, Marco; Corradini, Flavio | |
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems (SFM 2016) | 1-gen-2016 | Bernardo, Marco; De Nicola, Rocco; Hillston, Jane | |
Formal Methods for Web Services (SFM 2009) | 1-gen-2009 | Bernardo, Marco; Padovani, Luca; Zavattaro, Gianluigi | |
The Fortification System of the City of Urbino: The Case Study of Valbona Gate from 3D Surveys to GIS Applications for Dynamic Maps | 1-gen-2016 | Bertozzi, Sara; Baratin, Laura; Moretti, Elvio | |
Foundations of Reversible Computation | 1-gen-2020 | Aman, Bogdan; Ciobanu, Gabriel; Glück, Robert; Kaarsgaard, Robin; Kari, Jarkko; Kutrib, Martin; Lanese, Ivan; Mezzina, Claudio Antares; Mikulski, Łukasz; Nagarajan, Rajagopal; Phillips, Iain; Pinna, G. Michele; Prigioniero, Luca; Ulidowski, Irek; Vidal, Germán | |
Frequentist Probability Logic | 1-gen-2024 | Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko | |
A General Approach to Deadlock Freedom Verification for Software Architectures | 1-gen-2003 | Aldini, Alessandro; Bernardo, Marco | |
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference | 1-gen-2009 | Aldini, Alessandro; Bernardo, Marco | |
Genesis and Evolution of ULTraS: Metamodel, Metaequivalences, Metaresults | 1-gen-2019 | Bernardo, Marco | |
GIS AND 3D MODELS AS SUPPORT TO DOCUMENTATION AND PLANNING OF THE BAKU HISTORICAL CENTRE (REPUBLIC OF AZERBAIJAN) | 1-gen-2012 | Baratin, Laura; Bertozzi, Sara; Moretti, Elvio; Spinella, Michele |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile