( en | de | ru )

 

Disambiguation of "Latella, Diego"

Author of the publication

copydeleteadd this publication to your clipboard
A formal testing framework for UML statechart diagrams behaviours: from theory to automatic verification

, and . page 11--22. (2001)
DOI: http://dx.doi.org/10.1109/HASE.2001.966803

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alexander Diego

Jesús Diego Linares

Diego Tonolla

Diego Arenhoevel

Diego Feijóo

 

Other publications of authors with the same name

Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach., , and . FORTE, volume C-22 of IFIP Transactions, page 253-268. North-Holland, (1993)Model Checking Groupware Protocols., , , and . COOP, page 179-194. IOS, (2004)A formal testing framework for UML statechart diagrams behaviours: from theory to automatic verification, and . page 11--22. (2001)Assisting the design of a groupware system., , , , , and . J. Log. Algebraic Methods Program., 78 (4): 191-232 (2009)On testing UML statecharts., , and . J. Log. Algebraic Methods Program., 69 (1-2): 1-74 (2006)On Bisimilarity for Quasi-discrete Closure Spaces., , , and . CoRR, (2023)Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker., , and . Formal Aspects Comput., 11 (6): 637-664 (1999)Stochastically timed predicate-based communication primitives for autonomic computing., , , and . QAPL, volume 154 of EPTCS, page 1-16. (2014)On a Uniform Framework for the Definition of Stochastic Process Languages., , , and . FMICS, volume 5825 of Lecture Notes in Computer Science, page 9-25. Springer, (2009)Querying Medical Imaging Datasets Using Spatial Logics (Position Paper)., , , , , and . MEDI Workshops, volume 1481 of Communications in Computer and Information Science, page 285-301. Springer, (2021)