Ilić, Dubravka

name

• Ilić, Dubravka

Authored works

• A formal model-driven approach to requirements engineering
• Formal development of software for tolerating transient faults
• Formal reasoning about dependability in model-driven development

Works contributed to

• Formal development of mechanisms for tolerating transient faults
• Formal verification of consistency in model-driven development of distributed communicating systems and communication protocols

Works about Ilić, Dubravka