Cited By
View all- Havelund KJoshi R(2018)Modeling with ScalaLeveraging Applications of Formal Methods, Verification and Validation. Modeling10.1007/978-3-030-03418-4_12(184-205)Online publication date: 29-Oct-2018
- Baxter J(2014)Combining Planning and Action, Lessons from Robots and the Natural WorldFrom Animals to Robots and Back: Reflections on Hard Problems in the Study of Cognition10.1007/978-3-319-06614-1_11(151-160)Online publication date: 11-Jul-2014
- Clancy D(2013)Model-based system-level health management for reusable launch vehiclesSpace 2000 Conference and Exposition10.2514/6.2000-5329Online publication date: 11-Feb-2013
- Show More Cited By