Concepedia

M. Gajewsky

MG

2

Publications

49

Citations

2

H-Index

2000

Active since

Affiliations

Technische Universität Berlin(Current)

M. Gajewsky is an author at Technische Universität Berlin specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringComputer ScienceSystems EngineeringVerificationFormal MethodsControl SystemsProcess ControlHardware SecuritySoftware AnalysisSafety Engineering

Publications per year

2000–2001

2

Publications

2

Rule-based refinement of high-level nets preserving safety properties

Julia Padberg, M. Gajewsky, Claudia Ermel · Science of Computer Programming · 2001 · 38 citations

Safety Engineering, Hardware Security, Rule-based Refinement +9

Rule-Based Refinement of Petri Nets for Modeling Train Control Systems

Julia Padberg, M. Gajewsky · IFAC Proceedings Volumes · 2000 · 11 citations

Petri Net, Rule-based Refinement, Engineering +9

Rows per page

1–2 of 2