Author:
Baresi Luciano,Pezzé Mauro
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. L. Baresi, V. Braberman, M. Felder, M. Pezzè, and F. Pieniazek. A Practical Approach to Formal Design of Real-Time Systems. In Proceedings of the 1996 IEEE International Conference on Systems, Man and Cybernetics, pages 1014–1019, October 1996.
2. L. Baresi, M. Cavagna, and M. Pezzè. Customization Rules for SA-HP. Technical report, Dipartimento di Elettronica e Informazione-Politecnico di Milano, 1997.
3. L. Baresi, F. Consorti, M. Di Paola, A. Gargiulo, and M. Pezzè. LEMMA: A Language for an Easy Medical Models Analysis. Journal of Medical Systems — Plenum Publishing Co., 21(6):369–388, December 1997.
4. L. Baresi, A. Orso, and M. Pezzè. Introducing Formal Methods in Industrial Practice. In Proceedings of the 19th International Conference on Software Engineering, pages 56–66. ACM Press, 1997.
5. L. Baresi and M. Pezzè. On Formalizing UML with High-Level Petri Nets. Technical Report, Dipartimento di Elettronica e Informazione — Politecnico di Milano, 1998.