Tommaso Bolognesi
发表
Scott A. Smolka,
Tommaso Bolognesi,
S. Smolka,
1987,
PSTV.
Tommaso Bolognesi,
Ferdinando Lucidi,
T. Bolognesi,
1991,
FORTE.
Tommaso Bolognesi,
T. Bolognesi,
2004,
FORTE.
Tommaso Bolognesi,
Chris A. Vissers,
Jeroen van de. Lagemaat,
1995,
Springer US.
Tommaso Bolognesi,
Ferdinando Lucidi,
Sebastiano Trigila,
1994
.
Tommaso Bolognesi,
2008,
Complex Syst..
Diego Latella,
Tommaso Bolognesi,
D. Latella,
2000
.
Diego Latella,
Olof Hagsand,
Tommaso Bolognesi,
1989
.
Giovanni De Poli,
Goffredo Haus,
Tommaso Bolognesi,
1981
.
Diego Latella,
Tommaso Bolognesi,
2000,
IFIP — The International Federation for Information Processing.
Tommaso Bolognesi,
T. Bolognesi,
2000,
IEEE Trans. Software Eng..
Tommaso Bolognesi,
T. Bolognesi,
2016
.
Tommaso Bolognesi,
2012
.
Tommaso Bolognesi,
2017,
ModelEd, TestEd, TrustEd.
Tommaso Bolognesi,
T. Bolognesi,
2007,
J. Log. Algebraic Methods Program..
Diego Latella,
Joost-Pieter Katoen,
Tommaso Bolognesi,
1996,
Formal Methods Syst. Des..
Tommaso Bolognesi,
1993,
Inf. Process. Lett..
Tommaso Bolognesi,
Franco Accordino,
T. Bolognesi,
1998,
Softw. Pract. Exp..
Tommaso Bolognesi,
2007,
MCU.
Egon Börger,
Tommaso Bolognesi,
E. Börger,
2003,
Abstract State Machines.
Tommaso Bolognesi,
T. Bolognesi,
2004,
Stud. Inform. Univ..
Egon Börger,
Tommaso Bolognesi,
E. Börger,
2003,
Abstract State Machines.
Tommaso Bolognesi,
Maurizio Caneve,
1988,
FORTE.
Tommaso Bolognesi,
Giuseppe Ciaccio,
G. Ciaccio,
1993,
Formal Techniques for (Networked and) Distributed Systems.
Andrea Bracciali,
Tommaso Bolognesi,
1999,
FMOODS.
Elie Najm,
Tommaso Bolognesi,
Paul A. J. Tilanus,
1994,
Comput. Networks ISDN Syst..
Diego Latella,
Olof Hagsand,
Tommaso Bolognesi,
1991,
Comput. Networks ISDN Syst..
Diego Latella,
Tommaso Bolognesi,
Testing Protocol Specification,
2000
.
John Derrick,
Tommaso Bolognesi,
1998,
IEE Proc. Softw..
Vincenzo Ciancia,
Tommaso Bolognesi,
2016,
ICE.
Diego Latella,
Tommaso Bolognesi,
2000
.
Tommaso Bolognesi,
T. Bolognesi,
1997
.
Tommaso Bolognesi,
2002,
OPODIS.
Tommaso Bolognesi,
1992,
FORTE.
Tommaso Bolognesi,
2010,
ERCIM News.
Vincenzo Ciancia,
Tommaso Bolognesi,
2017,
J. Log. Algebraic Methods Program..
Tommaso Bolognesi,
1996,
Formal Methods Syst. Des..
Tommaso Bolognesi,
T. Bolognesi,
1997,
Comput. J..
Tommaso Bolognesi,
2009,
Inf. Process. Lett..
Tommaso Bolognesi,
1983
.
Tommaso Bolognesi,
Franco Accordino,
1998,
Softw. Pract. Exp..
Tommaso Bolognesi,
2006,
Electron. Notes Theor. Comput. Sci..
Tommaso Bolognesi,
T. Bolognesi,
2013
.
Tommaso Bolognesi,
Ferdinando Lucidi,
T. Bolognesi,
1991,
REX Workshop.
Tommaso Bolognesi,
Ferdinando Lucidi,
T. Bolognesi,
1994
.
Tommaso Bolognesi,
Ed Brinksma,
E. Brinksma,
1994,
FORTE.
Tommaso Bolognesi,
1990,
Proceedings.,10th International Conference on Distributed Computing Systems.
Tommaso Bolognesi,
T. Bolognesi,
2019,
From Software Engineering to Formal Methods and Tools, and Back.
Diego Latella,
Tommaso Bolognesi,
Elisabetta Zuppa,
1991,
TAPSOFT, Vol.2.
Diego Latella,
Tommaso Bolognesi,
Rom Langerak,
1992
.
Tommaso Bolognesi,
Franco Accordino,
1996
.
John Derrick,
Tommaso Bolognesi,
J. Derrick,
2005,
Journal of Software and Systems Modeling.
Harry Rudin,
Tommaso Bolognesi,
H. Rudin,
1984,
Protocol Specification, Testing and Verification.
Tommaso Bolognesi,
T. Bolognesi,
2019,
Entropy.
Diego Latella,
Tommaso Bolognesi,
1989,
[Proceedings] 1989 IEEE Workshop on Visual Languages.
David de Frutos-Escrig,
Tommaso Bolognesi,
Yolanda Ortega-Mallén,
1990,
FORTE.
Tommaso Bolognesi,
1990
.
Tommaso Bolognesi,
T. Bolognesi,
2010,
Int. J. Unconv. Comput..
Tommaso Bolognesi,
T. Bolognesi,
2004,
Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems.
Tommaso Bolognesi,
Ferdinando Lucidi,
Sebastiano Trigila,
1990,
PSTV.
Tommaso Bolognesi,
Maurizio Caneve,
Elena Salvatori,
1995
.
Tommaso Bolognesi,
2016
.
Tommaso Bolognesi,
Alexander G. D. Lamb,
Alexander Lamb,
2014,
1407.1649.