Formal Methods for Performance Evaluation
7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Marco Bernardo
Themen in »Formal Methods for Performance Evaluation«
Computer Unified Modeling Language (UML) automata calculus communication systems design formal method formal methods formal specification graph partitioning load balancing model checking modeling performance analysis performance modeling petri net
Stimmen zu »Formal Methods for Performance Evaluation«
Details
ISBN: 9783540724827
Verlag: Springer Berlin
Erscheinung: 18.05.2007