A. Stininger is an author at TU Wien specializing in process control, formal verification, and computer engineering.
Top concepts
EngineeringReliabilityVerificationFormal MethodsProcess ControlComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal Verification
Publications per year
2002–2002
1
1
Rows per page
1–1 of 1