Order Article Reprints
Journal: Systems, 2018
Volume: 6
Number: 2
Article:
Compositional Approach to Distributed System Behavior Modeling and Formal Validation of Infrastructure Operations with Finite State Automata: Application to Viewpoint-Driven Verification of Functionality in Waterways
Authors:
by
Mark A. Austin and John Johnson
Link:
https://www.mdpi.com/2079-8954/6/1/2
MDPI offers high quality article reprints with convenient shipping to destinations worldwide. Each reprint features a 270 gsm bright white cover
and 105 gsm premium white paper, bound with two stitches for durability and printed in full color. The cover design is customized to your article
and designed to be complimentary to the journal.