European air traffic flow management: porting a large application to GNU/linux
Proceedings of the 2003 annual ACM SIGAda international conference on Ada: the engineering of correct and reliable software for real-time & distributed systems using ada and related technologies
Synchronous design of avionic applications based on model refinement
Journal of Embedded Computing - Best Papers of RTS' 2005
Hi-index | 0.00 |