An Spin / Promela application for model checking UML sequence diagrams

Article

Fecha

2018

Registro en:

9, 10, 586-599

2158107X

https://hdl.handle.net/20.500.12728/6563

https://repositorioslatinoamericanos.uchile.cl/handle/2250/5144382

Autor

Vidal-Silva C.L.

Villarroel R.

Rubio J.

Johnson F.

Madariaga E.

Campos C.

Carter L.

Institución

Universidad Autónoma de Chile

Materias

Combined Fragment

Fault Tolerance

UML Sequence Diagrams

Mostrar el registro completo del ítem