Cited By
View all- Calinescu RKikuchi SKwiatkowska M(2012)Formal Methods for the Development and Verification of Autonomic IT SystemsFormal and Practical Aspects of Autonomic Computing and Networking10.4018/978-1-60960-845-3.ch001(1-37)Online publication date: 2012
- Mokhov SVassev EPaquet JDebbabi MDesai BLeung CMudur S(2010)Towards a self-forensics property in the ASSL toolsetProceedings of the Third C* Conference on Computer Science and Software Engineering10.1145/1822327.1822342(108-113)Online publication date: 19-May-2010
- Mokhov SPaquet J(2010)Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) ExpressionsProceedings of the 2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications10.1109/SERA.2010.23(101-109)Online publication date: 24-May-2010
- Show More Cited By