Author of the publication

A summary of the 4th international workshop on agile development of safety-critical software (ASCS 2018).

, , and . XP Companion, page 15:1-15:2. ACM, (2018)

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

Modeling Fault Trees Using Petri Nets., , and . SAFECOMP, page 90-100. Springer, (1995)Experience with instantiating an automated testing process in the context of incremental and evolutionary software development., and . e Informatica Softw. Eng. J., 5 (1): 51-63 (2011)Untraceability of mobile agents., and . AAMAS, page 1233-1234. ACM, (2005)Extending GQM by Argument Structures., and . CEE-SET, volume 5082 of Lecture Notes in Computer Science, page 26-39. Springer, (2007)Software Engineering Education: A Dragging-Through Approach.. CSEE, volume 895 of Lecture Notes in Computer Science, page 31-44. Springer, (1995)Formal specification and verification of a real-time kernel., and . RTS, page 205-211. IEEE, (1994)AgileSafe - a method of introducing agile practices into safety-critical software development processes., and . FedCSIS, volume 8 of Annals of Computer Science and Information Systems, page 1549-1552. IEEE, (2016)SCF - A framework supporting achieving and assessing conformity with standards., and . Comput. Stand. Interfaces, 33 (1): 80-95 (2011)Sticky variables and memory optimization.. ACM SIGPLAN Notices, 13 (6): 38-48 (1978)Object Oriented Safety Analysis of an Extra High Voltage Substation Bay., and . SAFECOMP, volume 1516 of Lecture Notes in Computer Science, page 306-315. Springer, (1998)