Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Resourceful systems for fault tolerance, reliability, and safety
ACM Computing Surveys (CSUR)
On the development of reactive systems
Logics and models of concurrent systems
A scenario-based methodology for conducting requirements elicitation
ACM SIGSOFT Software Engineering Notes
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Modelling the Requirements of Process Controlled Systems
Software Quality and Productivity: Theory, practice and training
Making the requirements of process controlled systems explicit
HICSS '95 Proceedings of the 28th Hawaii International Conference on System Sciences
| Hi-index | 0.00 |