Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Your Filters

Language : albanian Language : english Language : finnish Language : macedonian Language : occitan (post 1500) Language : vietnamese Subject : computer science Subject : control theory Filter by : Subject

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Specifying and Verifying Requirements of Real-Time Systems.

Authors : Ravn, Anders P.¹; Rischel, Hans¹; Hansen, Kirsten Mark¹

Source: IEEE Transactions on Software Engineering. Jan93, Vol. 19 Issue 1, p41-56. 15p. 3 Diagrams, 2 Charts.

Read More Add to Saved list

Academic Journal

On Satisfying Timing Constraints in Hard-Real-Time Systems.

Authors : Xu, Jia¹; Parnas, David Lorge²

Source: IEEE Transactions on Software Engineering. Jan93, Vol. 19 Issue 1, p70-84. 15p. 9 Diagrams, 4 Charts.

Read More Add to Saved list

Academic Journal

Introduction to Special Issue on Software for Critical Systems.

Authors : Leveson, Nancy G.¹; Neumann, Peter G.²

Source: IEEE Transactions on Software Engineering. Jan93, Vol. 19 Issue 1, p1-2. 1p.

Read More Add to Saved list