如果没有你丶

Development Process of Distributed Embedded Systems using VDM

This document is intended to provide readers who already have experience with general VDM concepts from language manuals [LangManPP] or books [Fitzger

DSP程序员指南

ThismanualisareferenceforprogrammingTMS320C6000digitalsignal processor(DSP)devices. Beforeyouusethisbook,youshouldinstallyourcodegenerationand debuggi

UPPAAL4.1Model Checker

最流行的模型检测工具，用于实时系统模型检测。

jSPIN5.0model checker

基于线性时态逻辑的模型检测工具，很流行，很好用！

efficient learning machine

Theories,Concepts,andApplicationsforEngineersandSystemDesignersvContentsataGlanceChapter1:MachineLearningChapter2:MachineLearningandKnowledgeDiscovery

OBDDFoundationsandapplications

TheactiveresearchfieldofOBDD~,Thisisveryusefulinmodelchecking!

Predictive Analytics with Microsoft Azure Machine Learning

This book provides an overview of data science and an in-depth view of Microsoft Azure Machine Learning, the latest predictive analytics service from