Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Sym
69,15 €
On the semantics of group communication. - Unifying verification paradigms. - Retiming techniques for Statecharts. - Compiling Argos into Boolean equations. - Sampling semantics of Duration Calculus.
Jetzt bei Ebay: