Difference between revisions of "Portal:Sources"

Revision as of 12:32, 5 April 2022

E.g.

@@ Line 1: / Line 1: @@
-Something to put here
+== Books on verification ==
+* Model checking book. E. Clarke
+* Other model checking book by Peter Katoen
+* Book on software testing/model-based testing
-==Title 1==
+== Special issues on VAS ==
+* Journals
+== Case studies ==
+* Steps and method followed when verifying a system
+== Whitepapers on autonomous systems V&V from regulators ==
+* How to apply V&V to autonomous systems
+* How to interpret regulations for different countries
+* What remains to be done for regulations
+E.g.
+* Reviews on regulations for autonomous systems in Australia
-*
+== Review or survey papers on V&V ==
+== Existing projects ==
+== Benchmark models ==
+* Simulink model benchmark for falsification (3 models)
+== Testing fields & sites/labs ==
-*
-== Title 2 ==
+== Robotics & autonomous systems competitions ==
+* DARPA
+* Autonomous vehicles
+* Robotics European League
-* item 2
+* ROBOCUP
+* AWS Deepracer (deep learning for training autonomous vehicles)
-* item 3