Search results
IEEE Transactions on Software Engineering > 2012 > 38 > 2 > 354 - 374
Proceedings of the 30th Chinese Control Conference > 5490 - 5493
2009 IEEE/AIAA 28th Digital Avionics Systems Conference > 2.D.3-1 - 2.D.3-12
IEEE Transactions on Software Engineering > 2012 > 38 > 2 > 354 - 374
Proceedings of the 30th Chinese Control Conference > 5490 - 5493
2009 IEEE/AIAA 28th Digital Avionics Systems Conference > 2.D.3-1 - 2.D.3-12