Fundamentals of interactive computer graphics
Fundamentals of interactive computer graphics
Software safety: why, what, and how
ACM Computing Surveys (CSUR)
A rational design process: How and why to fake it
IEEE Transactions on Software Engineering
Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Safety Analysis Using Petri Nets
IEEE Transactions on Software Engineering
Completeness, robustness, and safety in real-time software requirements specifications: a logical positivist looks at requirements engineering
On the inevitable intertwining of specification and implementation
Communications of the ACM
Executing formal specifications: the ASTRAL to TRIO translation approach
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Specification of realtime systems using ASTRAL
IEEE Transactions on Software Engineering
A Real-Time Discrete Event System Specification Formalismfor Seamless Real-Time Software Development
Discrete Event Dynamic Systems
Proceedings of the 28th international conference on Software engineering
Safety, software architecture and MIL-STD-1760
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
A framework for software safety in safety-critical systems
ACM SIGSOFT Software Engineering Notes
A systematic review of software robustness
Information and Software Technology
| Hi-index | 0.00 |