Specifying and verifying requirements of real-time systems

Authors:
Kirsten M. Hansen;Anders P. Ravn;Hans Rischel
Affiliations:
Department of Computer Science, Technical University of Denmark, Bldg. 344, DK 2800 Lyngby, Denmark;Department of Computer Science, Technical University of Denmark, Bldg. 344, DK 2800 Lyngby, Denmark;Department of Computer Science, Technical University of Denmark, Bldg. 344, DK 2800 Lyngby, Denmark
Venue:
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Year:
1991

System identification: theory for the user

System identification: theory for the user
Modern Control Systems

Modern Control Systems
Guest Editors' Introduction: Requirements Engineering

IEEE Transactions on Software Engineering
Metric Spaces as Models for Real-Time Concurrency

Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics
Correctness and communication in real-time systems (tcsp)

Correctness and communication in real-time systems (tcsp)

Trusted computing systems: the ProCoS experience

ICSE '92 Proceedings of the 14th international conference on Software engineering
Formal specification: a roadmap

Proceedings of the Conference on The Future of Software Engineering
Specifying and Verifying Requirements of Real-Time Systems

IEEE Transactions on Software Engineering
Determining the specification of a control system: an illustrative example

Rigorous Development of Complex Fault-Tolerant Systems

Hi-index	0.00