Mark A. Austin

According to our database, Mark A. Austin authored at least 3 papers between 2006 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

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.

Mark A. Austin, John Johnson

Syst., 2018

Modeling and cross-domain dependability analysis of cyber-physical systems.

Mark R. Blackburn, Mark A. Austin, Maria Coelho

Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

2006

Matrix and finite element stack machines for structural engineering computations with units.

Mark A. Austin

Adv. Eng. Softw., 2006