A Visual and Formal Glue between Application and Interaction
R. BASTIDE AND P. PALANQUE
Introduction of
interactive systems
Dedicated
methods and techniques
for interactive systems.
A new visual language based on
Petri net
ICO formalism
: A Case Study
Formal verification
Conclusion
