Specification of Realtime Systems Using ASTRAL
IEEE Transactions on Software Engineering
Specification of realtime systems using ASTRAL
IEEE Transactions on Software Engineering
A dynamic coordination policy for software system construction
IEEE Transactions on Software Engineering
Use cases for distributed real-time software architectures
Engineering of distributed control systems
Hi-index | 0.00 |