Author of the publication

Developing Distributed Software Systems by Incorporating Meta-Object Protocol (diMOP) with Unified Modeling Language (UML).

, , , , , and . ISADS, page 65-72. IEEE Computer Society, (1999)

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

Extending the SCR Method for Real-Time Systems., , , and . Real Time Syst., 20 (1): 27-49 (2001)ASA: Agent-based secure ARP cache management., , , and . IET Commun., 6 (7): 685-693 (2012)Timed High-Level Message Sequence Charts for Real-Time System Design., and . SAM, volume 4320 of Lecture Notes in Computer Science, page 82-98. Springer, (2006)PLC-Based Safety Critical Software Development for Nuclear Power Plants., , , , and . SAFECOMP, volume 3219 of Lecture Notes in Computer Science, page 155-165. Springer, (2004)Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram., , , and . SAFECOMP, volume 6351 of Lecture Notes in Computer Science, page 223-236. Springer, (2010)An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation., , and . ISORC, page 365-372. IEEE Computer Society, (2007)Formal Modeling and Verification of Safety-Critical Software., , and . IEEE Software, 26 (3): 42-49 (2009)Automatic and lightweight grammar generation for fuzz testing., , and . Comput. Secur., (2013)FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs., , , and . SEKE, page 48-51. Knowledge Systems Institute Graduate School, (2011)A formal software requirements specification method for digital nuclear plant protection systems., , , , and . J. Syst. Softw., 74 (1): 73-83 (2005)