-
MESSAGE-BASED MODEL VERIFICATION
-
Publication number 20160132371
-
Publication date May 12, 2016
-
The MathWorks, Inc.
-
Alan J. Moore
-
G06 - COMPUTING CALCULATING COUNTING
-
BI-DIRECTIONAL PROJECTION
-
Publication number 20120084070
-
Publication date Apr 5, 2012
-
The MathWorks, Inc.
-
Alan John MOORE
-
G06 - COMPUTING CALCULATING COUNTING
-
BI-DIRECTIONAL PROJECTION
-
Publication number 20120016654
-
Publication date Jan 19, 2012
-
The MathWorks, Inc.
-
Alan John MOORE
-
G06 - COMPUTING CALCULATING COUNTING
-
MESSAGE-BASED MODEL VERIFICATION
-
Publication number 20110296436
-
Publication date Dec 1, 2011
-
The MathWorks, Inc.
-
Alan J. Moore
-
G06 - COMPUTING CALCULATING COUNTING
-
BI-DIRECTIONAL PROJECTION
-
Publication number 20080313600
-
Publication date Dec 18, 2008
-
The MathWorks, Inc.
-
Alan John MOORE
-
G06 - COMPUTING CALCULATING COUNTING