Formal Modeling and Analysis of Timed Systems: First International Workshop, FOR
69,60 €
An Interval-Based Algebra for Restricted Event Detection. - PARS: A Process Algebra with Resources and Schedulers. - Formal Semantics of Hybrid Chi. - On Timing Analysis of Combinational Circuits.
Jetzt bei Ebay:
