Design and Testing of Reliable Systems
![Foto de Design and Testing of Reliable Systems](/img/grupo.png)
![Foto de University of Bologna](/img/noimage_org.png)
University of Bologna
Bolonia, ItaliaPublicaciones en colaboración con investigadores/as de University of Bologna (8)
2019
-
Probabilistic software product lines
Journal of Logical and Algebraic Methods in Programming, Vol. 107, pp. 54-78
2017
-
Analysis of temporal complex events in sensor networks
Journal of Information and Telecommunication, Vol. 1, Núm. 3, pp. 273-289
-
Introduction to the Software Engineering and Formal Methods 2013 special issue
Software and Systems Modeling
2013
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007
-
From theoretical e-barter models to two alternative implementations based on web services
Journal of Universal Computer Science, Vol. 13, Núm. 13, pp. 2035-2075
2006
-
From Theoretical e-barter Models to an Implementation Based on Web Services
Electronic Notes in Theoretical Computer Science, Vol. 159, Núm. 1, pp. 241-264
2005
-
Editorial track on E-commerce technologies
Proceedings of the ACM Symposium on Applied Computing
-
Editorial: Programming languages track
Proceedings of the ACM Symposium on Applied Computing