×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [kind of specification]
1 Verification by Model Checking. 2 Part 1 : Motivation
220 views
Formats and FRBR Catalogues – Where's our focus? Trond Aalberg NTNU and BIBSYS Norway
214 views
Translation of UML/OCL into BZPE format TestUML Project – INTERREG III – Meeting 12/02/04
218 views
Verification by Model Checking1 Formal Methods Laboratory University of Tehran Based on the chapter 3 of “Logic in Computer Science”, Huth & Ryan
222 views
EXtensible Markup Language (XML) James Atlas July 15, 2008
213 views
Specification Mining With Few False Positives
60 views