Author of the publication

Accessible Formal Method Support for PLC Software Development.

, and . SAFECOMP, page 113-127. Springer, (1995)

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

Trusted Product Lines., and . Inf. Softw. Technol., 55 (3): 525-540 (2013)Safety-driven design of machine learning for sepsis treatment., , , , and . J. Biomed. Informatics, (2021)An enhanced vehicle control model for assessing highly automated driving safety., , and . Reliab. Eng. Syst. Saf., (2020)Integrating safety and formal analyses using UML and PFS., , , and . Reliab. Eng. Syst. Saf., 92 (2): 156-170 (2007)Testing Method for Multi-UAV Conflict Resolution Using Agent-Based Simulation and Multi-Objective Search., , and . J. Aerosp. Inf. Syst., 13 (5): 191-203 (2016)Modelling Engineering Design Processes with Role Activity Diagrams., and . Trans. SDPS, 4 (2): 45-65 (2000)CONVERSE: A change-oriented process for engine controllers., , , , and . IEE Proc. Softw., 146 (3): 130-136 (1999)Integrating requirements analysis and safety analysis., and . RE, page 158-159. IEEE Computer Society, (1995)On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial Solution., , and . DSN Workshops, page 192-199. IEEE Computer Society, (2016)Safety Assurance Contracts for Integrated Modular Avionics., , and . SCS, volume 33 of CRPIT, page 69-78. Australian Computer Society, (2003)