Normal view MARC view

Model Checking (Topical Term)

Preferred form: Model Checking

Machine generated authority record

Work cat.: (NEDUET)717156: Kitamura, Takashi 722396, Automated Route Planning for Milk-Run Transport Logistics with Nusmv Model Checker

Visit counter For Websites

Copyright © 
Engr Abul Kalam Library, NEDUET, 2024