Concepedia

Hans Rischel

HR

5

Publications

311

Citations

5

H-Index

1989

Active since

Affiliations

Technical University of Denmark(Current)

Hans Rischel is an author at Technical University of Denmark specializing in systems engineering, real-time systems, and computer science.

Top concepts

EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceEmbedded SystemsHardware SystemsReal-time SystemsSoftware AnalysisFormal Verification

Publications per year

1989–1993

5

Publications

5

Specifying and verifying requirements of real-time systems

Anders P. Ravn, Hans Rischel, Kirsten Mark Hansen · IEEE Transactions on Software Engineering · 1993 · 164 citations

Engineering, Real-time System Design, Verification +24

Specifying and verifying requirements of real-time systems

Kirsten Mark Hansen, Anders P. Ravn, Hans Rischel · ACM SIGSOFT Software Engineering Notes · 1991 · 68 citations

Engineering, Verification, Software Systems +17

Specification Of Embedded, Real-time Systems

Anders P. Ravn, Hans Rischel, Zhou Chaochen · 1992 · 32 citations · Full text

A ProCos Project Description: Esprit BRA 3104

Dines Bjoerner, C. A. R. Hoare, Jonathan P. Bowen et al. · Research Explorer (The University of Manchester) · 1989 · 31 citations

Industrial Design, Design, Education +7

Specifying and verifying requirements of real-time systems

Kirsten Mark Hansen, Anders P. Ravn, Hans Rischel · 1991 · 16 citations

Engineering, Real-time System Design, Verification +22

Rows per page

1–5 of 5