Concepedia

Maik Kollmann

MK

1

Publications

22

Citations

1

H-Index

2007

Active since

Affiliations

Technische Universität Braunschweig(Current)

Maik Kollmann is an author at Technische Universität Braunschweig specializing in computer engineering, program analysis, and formal specification.

Top concepts

AutomationEngineeringVerificationFormal MethodsProcess ControlComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning

Publications per year

2007–2007

1

Publications

1

Automation of Formal Verification of PLC Programs Written in IL.

Olivera Pavlović, Ralf Pinger, Maik Kollmann · Acta Universitatis Carolinae. Medica · 2007 · 22 citations

Plc Programs Written, Program Checking, Engineering +22

Rows per page

1–1 of 1