1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SE2020
Towards a Framework for Certification of Reliable Autonomous Systems
Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier +3
A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control. The capability and spread of suc…
cs.SE2015★ 1 cited
Proceedings Tenth Workshop on Model Based Testing
Nikolay Pakulin, Alexander K. Petrenko, Bernd-Holger Schlingloff
The workshop is devoted to model-based testing of both software and hardware. Model-based testing uses models describing the required behavior of the system under consideration to…