Leonid Kof (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

Selection of 3 from 20 records - Leonid Kof has 20 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

13		Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova: On the correctness of upper layers of automotive systems. Formal Asp. Comput. 20(6): 637-662 (2008)
9		Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz: Towards Modularized Verification of Distributed Time-Triggered Systems. FM 2006: 163-178
6		Jewgenij Botaschanjan, Leonid Kof, C. Kühnel, Maria Spichkova: Towards verified automotive software. ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005)