56
Publications
1.5K
Citations
21
H-Index
1989
Active since
Heinz Schmidt is an author at RMIT University specializing in engineering, computer science, and systems engineering.
Top concepts
EngineeringComputer ScienceSystems EngineeringSoftware EngineeringSoftware DesignSystem SoftwareSoftware AnalysisComputer EngineeringFormal MethodsProgram Analysis
Publications per year
1989–2019
56
56
Time Petri nets for workflow modelling and analysis
Sea Ling, Heinz Schmidt · 2002 · 92 citations
Providing trusted components to the industry
Bertrand Meyer, Christine Mingins, Heinz Schmidt · Computer · 1998 · 55 citations
Rows per page
1–5 of 56