Login / Signup
Mark A. Austin
Publication Activity (10 Years)
Years Active: 2006-2018
Publications (10 Years): 2
Top Topics
Distributed Computing
Knowledge Transfer
Finite State Automata
Top Venues
Syst.
SysCon
</>
Publications
</>
Mark R. Blackburn
,
Mark A. Austin
,
Maria Coelho
Modeling and cross-domain dependability analysis of cyber-physical systems.
SysCon
(2018)
Mark A. Austin
,
John Johnson
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.
Syst.
6 (1) (2018)
Mark A. Austin
Matrix and finite element stack machines for structural engineering computations with units.
Adv. Eng. Softw.
37 (8) (2006)