External Links

    Journal: Comput. J.

    Volume 38, Issue 4

    271 -- 285Saurav Chatterjee, Jay K. Strosnider. Distributed Pipeline Scheduling: A Framework for Distributed, Heterogeneous Real-Time System Design
    286 -- 300Scott Dawson, Farnam Jahanian. Probing and Fault Injection of Dependable Distributed Protocols
    301 -- 309Wolfgang A. Halang, Bernd J. Krämer, Leszek Trybus. Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software
    310 -- 318Benjamin Macias, Stephen G. Pulman. A Method for Controlling the Production of Specifications in Natural Language
    319 -- 338Alexander D. Stoyenko, Thomas J. Marlowe, Mohamed F. Younis. A Language for Complex Real-Time Systems
    runs on