Formal and Practical Techniques for the Complex System Design Process Using V...

Formal and Practical Techniques for the Complex System Design Process using Virt

Formal and Practical Techniques for the Complex System Design... - 9783031516948

Complex Adaptive Systems - 9780691127026

Practical Methods for Design and Analysis of Complex Surveys 2nd Ed

An Introduction to Practical Formal Methods Using Temporal by M Fisher HARDBACK

An Introduction to Practical Formal Methods Using Temporal Logic by Michael Fish