VDict - Definition of model checking

search result for model checking in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 Next > Last

model checking electron model spiral model relational data model Constructive Cost Model Waterfall Model Windows NT Network Model Cecil entity-relationship model data model model Model View Controller MODEL data link layer Open Systems Interconnect lclint Actors domain model color model Domain Architecture Model Distributed Component Object Model Capability Maturity Model Common Object Model relational model Component Object Model Markov model Algorithmic Model hole model ANSI/SPARC Architecture Watcom C/C++Markov chain VML semiconductor HOOD CMYK ECSP memory farts tweening crippleware header PDP-10 Acceptance, Test Or Launch Language TRS-80 Binhex 4.0 inquiry/response system Forward Error Correction X.21 Orange Book ANNotated Ada Capabilities Maturity Model Vertical Redundancy Check type-ahead fascist Trellis ZMODEM STEP thicket sanity check ISO seven layer model GNOME OSI Reference Model SOM seven layer model OSI seven layer model DCOM bottom-up model ADAMO XDS 940 EER OSI Model SDS 940 COCOMO ViewPoints Peter Chen Analogy Model Bachman Content Data Model rapid prototyping Class-Relation Method IBM PC

First < Previous 1 2 3 4 Next > Last