( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker

, , и . Formal Aspects of Computing, 11 (6): 637--664 (21.12.1999)
DOI: 10.1007/s001659970003

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.

Alexander Diego

Jesús Diego Linares

Diego Tonolla

Diego Arenhoevel

Diego Feijóo

 

Другие публикации лиц с тем же именем

Spatial Logics and Model Checking for Medical Imaging (Extended Version)., , , , и . CoRR, (2018)An Interactive Debugger for a Concurrent Language., , и . ICSE, стр. 320-329. IEEE Computer Society, (1985)On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination., , и . Sci. Comput. Program., (2015)Towards a Logic for Performance and Mobility., , , и . QAPL, том 153 из Electronic Notes in Theoretical Computer Science, стр. 161-175. Elsevier, (2005)Minimisation of Spatial Models Using Branching Bisimilarity., , , , и . FM, том 14000 из Lecture Notes in Computer Science, стр. 263-281. Springer, (2023)Spatial Model Checking for Smart Stations - Research Challenges., , , , и . FMICS, том 12863 из Lecture Notes in Computer Science, стр. 39-47. Springer, (2021)Geometric Model Checking of Continuous Space., , , , , и . CoRR, (2021)Design Validation of Embedded Dependable Systems., , , и . IEEE Micro, 21 (5): 52-62 (2001)Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation., , и . CONCUR, том 1119 из Lecture Notes in Computer Science, стр. 563-578. Springer, (1996)An Experimental Spatio-Temporal Model Checker., , , , и . SEFM Workshops, том 9509 из Lecture Notes in Computer Science, стр. 297-311. Springer, (2015)