( en | de | ru )

 

Disambiguation of "Gruner, Stefan"

Author of the publication

copydeleteadd this publication to your clipboard
Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge.

, , and . FTSCS, volume 596 of Communications in Computer and Information Science, page 87-102. Springer, (2015)

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.

Stefan Gruner

Stefan Gruner

Stefan Gruner

Stefan Gruner

Stefan Grüner

 

Other publications of authors with the same name

Problems for a Philosophy of Software Engineering.. Minds and Machines, 21 (2): 275-299 (2011)FormSERA workshop on formal methods in software engineering rigorous and agile approaches: 2nd of june 2012 at ICSE'2012 in Zürich (CH)., and . ACM SIGSOFT Softw. Eng. Notes, 37 (6): 28-30 (2012)On the Scientific Maturity of Digital Forensics Research., and . IFIP Int. Conf. Digital Forensics, volume 410 of IFIP Advances in Information and Communication Technology, page 33-49. Springer, (2013)Model-driven design plus artificial intelligence for wireless sensor networks software development., , and . SESENA@ICSE, page 63-64. ACM, (2011)Frankreich, and . UTB Francke, Tübingen u.a., (2003)Assessment of a framework to compare software development methodologies., , and . SAICSIT, volume 226 of ACM International Conference Proceeding Series, page 56-65. ACM, (2007)A new tool for URDAD to Java EE EJB transformations., and . SAICSIT, page 144-153. ACM, (2013)Diagrammatic Control of Diagrammatic Structure Generation., and . Diagrams, volume 1889 of Lecture Notes in Computer Science, page 422-436. Springer, (2000)A Distributed Algorithm for Computing a Spanning Tree in Anonymous Tprime Graph., , , and . OPODIS, page 141-158. Suger, Saint-Denis, rue Catulienne, France, (2001)Mechatronische Lenksysteme (Mechatronic Steering Systems)., and . Automatisierungstechnik, 55 (6): 281-289 (2007)