Volume 39; Issue 1

Formal Methods in System Design

Volume 39; Issue 1
1

On the refinement of liveness properties of distributed systems

Paul C. Attie
Journal:
Formal Methods in System Design
Year:
2011
Language:
english
File:
PDF, 1.44 MB
english, 2011
2

Verification of continuous dynamical systems by timed automata

Christoffer Sloth, Rafael Wisniewski
Journal:
Formal Methods in System Design
Year:
2011
Language:
english
File:
PDF, 1.46 MB
english, 2011