Building high assurance human-centric decision systems
Automated Software Engineering2014Vol. 22(2), pp. 159–197
Citations Over TimeTop 15% of 2014 papers
Constance Heitmeyer, Marc Pickett, Elizabeth I. Leonard, Myla Archer, Indrakshi Ray, David W. Aha, J. Gregory Trafton
Related Papers
- → Solving Asymmetric Decision Problems with Influence Diagrams(1994)21 cited
- → Combining Sequence Diagrams and OCL for Liveness(2005)17 cited
- → Behavior Modeling with Interaction Diagrams in a UML and OCL Tool(2014)2 cited
- → A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol(2008)8 cited
- → A Case Analysis of IEEE 802.11 CSMA/CA Protocol via Sequence Diagrams(2012)1 cited