Search the dblp DataBase
Dubravka Ilic :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Dubravka Ilic , Elena Troubitsyna Formal Development of Software for Tolerating Transient Faults. [Citation Graph (0, 0)][DBLP ] PRDC, 2005, pp:140-150 [Conf ] Dubravka Ilic , Elena Troubitsyna , Linas Laibinis , Colin Snook Formal Development of Mechanisms for Tolerating Transient Faults. [Citation Graph (0, 0)][DBLP ] RODIN Book, 2006, pp:189-209 [Conf ] Dubravka Ilic Deriving Formal Specifications from Informal Requirements. [Citation Graph (0, 0)][DBLP ] COMPSAC (1), 2007, pp:145-152 [Conf ] Supporting Reuse in Event B Development: Modularisation Approach. [Citation Graph (, )][DBLP ] Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. [Citation Graph (, )][DBLP ] Verifying Mode Consistency for On-Board Satellite Software. [Citation Graph (, )][DBLP ] Developing Mode-Rich Satellite Software by Refinement in Event B. [Citation Graph (, )][DBLP ] Search in 0.001secs, Finished in 0.001secs