A Mechanised Proof of an Adaptive State Counting Algorithm
4.5 (343) · $ 19.00 · In stock
Jan PELESKA, Professor (Full), Dr. rer. nat., Universität Bremen, Bremen, Uni Bremen, Faculty 03: Mathematics/Computer Science
Isabelle/Isar - a versatile environment for human-readable formal proof documents
Ansys Delivers ISO 26262 Certified Tool Sets
Tailored compliant mechanisms for reconfigurable electromagnetic devices
PDF) Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems
Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata
Isabelle/Isar - a versatile environment for human-readable formal proof documents
The Coming Software Apocalypse - The Atlantic
Frontiers Discernment on assistive technology for the care and support requirements of older adults and differently-abled individuals
An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm
