JZ

J Zalewski

13 records found

An approach to evaluate real-time software architectures for safety-critical systems

A new benchmark for distributed real-time systems: some experimental results

Software verification in ground transportation systems

Practice of real-time software architecture: Collider, satellites, and tanks combined

Expressing and verifying timing requirements with UML

Parallel and distributed real-time systems: an introduction

Parallel and distributed real-time systems: an introduction

Specification and verification of a safty shell with statcharts and extended timed graphs

Formal specification of a safety shell in real-time control practice

New method of improving software safety in mission-critical real-time systems

H-astral and its use in the development of real-time control systems

Web-based course on software quality assurance: perspectives on intercontinental learning [alleen op CD-ROM verschenen]

Experiences with an introductory real-time software course at Delft University of Technology