Author of the publication

Formal Development of Linear Structure Reusable Components in PAR Platform.

, , and . SOFL+MSVL, volume 10189 of Lecture Notes in Computer Science, page 85-97. (2016)

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.

 

Other publications of authors with the same name

Apla Generic Constraint Matching Detection and Verification., , , , and . ICECCS, page 210-219. IEEE, (2019)Modularity characterization on general 2-uninorms and overlap or grouping functions., , , and . Soft Comput., 26 (19): 9897-9910 (2022)Implementing Templated Design Patterns: A Category Theoretic Approach., , and . Int. J. Comput. Their Appl., 15 (3): 169-176 (2008)Scheduling Heterogeneous Multiprocessor Real-Time Systems with Mixed Sets of Task., , , , , and . SOSE, page 72-81. IEEE, (2020)Formal Development of Linear Structure Reusable Components in PAR Platform., , and . SOFL+MSVL, volume 10189 of Lecture Notes in Computer Science, page 85-97. (2016)Distributivity characterization of idempotent uni-nullnorms and overlap or grouping functions., , , , and . Int. J. Approx. Reason., (2022)Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach., , and . ISDA (1), page 759-764. IEEE Computer Society, (2006)PAR: A Practicable Formal Method and Its Supporting Platform., , , , , and . ICFEM, volume 11232 of Lecture Notes in Computer Science, page 70-86. Springer, (2018)Formal Specification and Verification for Real-Time Scheduling Based on PAR., , , , and . SOFL+MSVL, volume 11392 of Lecture Notes in Computer Science, page 108-122. Springer, (2018)Formal Semantics of Orc Based on TLA+., , , and . SOFL+MSVL, volume 8979 of Lecture Notes in Computer Science, page 147-163. Springer, (2014)