Classical soundness in robustness diagram with loop and time controls Yazar: Malinao, Jasmine A.

Reoptimization of the consensus pattern problem under pattern length modification Yazar: Clemente, Jhoirene B., Ordanel, Ivy D., Malinao, Jasmine A., Juayong, Richelle Ann B., Fernandez, Proceso L. Jr, Adorna, Henry N.

Tam Metin Erişim

Strong spanned patterns generation using subsequence cover problem reduction and the term-product operation Yazar: Malinao, Jasmine A.

Model decomposition of robustness diagram with loop and time controls to Petri Net with considerations on resets Yazar: Castillo, John Albert R.

Parallel activities in robustness diagrams with loop and time controls Yazar: Doñoz, Roy B.

Classical soundness of robustness diagram with loop and the time controls and its related properties in sequence diagrams Yazar: Mendoza, Angela Nicole Y.

Representation and scalability of hierarchical abstractions in robustness diagram with loop and time controls Edu S. Pestilos; Jasmine A. Malinao, adviser. Yazar: Petilos, Edu S.

On weak, lazy, and easy soundness in robustness diagrams with loop and time controls Yazar: Ramirez, Ronnie II M.

Structure-driven process representations of Robustness Diagram with Loop and Time Controls in Sequence Diagrams Yazar: Siervo, Euvan Dave S.

Automated verification of Classical Soundness in Robustness Diagrams with Loop and Time Controls via L-safeness Yazar: Asoy, Andrei Luz B.