Вы здесь

Latella D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ AGILE: Software Architecture for Mobility 2003 Andrade L., Baldan P., Baumeister H., Bruni R., De Nicola R., Fiadeiro J. L., Gadducci F., Gnesi S., Hoffman P., Koch N., Kosiuczenko P., Lapadula A., Latella D., Lopes A., Loreti M., Massink M., Mazzanti U., Montanari U., Oliveira C., Pugliese R., Tarlecki A., Wermelinger M., Wirsing M., Zawlocki A. Lecture Notes in Computer Science 14.01.2004
СТ On Mobility Extensions of UML Statecharts. A Pragmatic Approach 2003 Latella D., Massink M. Lecture Notes in Computer Science 18.12.2003
СТ A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors 2000 Gnesi S., Latella D., Lenzini G., Abbaneo C., Amendola A., Marmo P. Lecture Notes in Computer Science 26.04.2000
СТ Metric Semantics for True Concurrent Real Time 1998 Baier Ch., Katoen J. -P., Latella D. Lecture Notes in Computer Science 11.08.1998
СТ Gate Splitting in LOTOS Specifications Using Abstract Interpretation 1993 Giannotti F., Latella D. Lecture Notes in Computer Science 26.05.1993
СТ A Fully Parallel Calculus of Synchronizing Processes 1993 Latella D., Quaglia P. Lecture Notes in Computer Science 26.05.1993
СТ Using Abstract Interpretation for Gate splitting in LOTOS Specifications 1992 Giannotti F., Latella D. BIGRE 11.11.1992
СТ Non-standard Interpretations of LOTOS Specifications 1991 Bolognesi T., Latella D., Zuppa E. Lecture Notes in Computer Science 21.05.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Integrated Formal Methods: Proc./9th International Conference, IFM 2012, Pisa, Italy, June 2012 2012 Lecture Notes in Computer Science
  1. Derrick J.
  2. Gnesi S.
  3. Latella D.
  4. Treharne H.
13.08.2012