Design of dependable real-time systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
A Case-Study in Timed Refinement: A Mine Pump
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
An object-oriented, distributed architecture for large-scale Ada systems
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Software architecture—a rational metamodel
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Experience with the development of hard real-time embedded Ada software
ICSE '94 Proceedings of the 16th international conference on Software engineering
Expressiveness in architecture description languages
ISAW '98 Proceedings of the third international workshop on Software architecture
Wrapping Real-Time Systems from Temporal Logic Specifications
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
The architectural specification of an avionic subsystem
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Towards reasoning about teleo-reactive programs for robust real-time systems
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
A timeband framework for modelling real-time systems
Real-Time Systems
Managing architectural design decisions for safety-critical software systems
QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures
A survey of software development approaches addressing dependability
FIDJI'04 Proceedings of the 4th international conference on Scientific Engineering of Distributed Java Applications
Rely/Guarantee reasoning for teleo-reactive programs over multiple time bands
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
SIMPAR'12 Proceedings of the Third international conference on Simulation, Modeling, and Programming for Autonomous Robots
Modelling temporal behaviour in complex systems with Timebands
Formal Methods in System Design
Hi-index | 0.00 |