×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [language equivalence]
Home >
language equivalence
Embedded System
724 views
SC7/WG19 Geneva 2003 ISO/IEC 15909: A Simple Example of Protocol Specification and Verification Jonathan Billington Computer Systems Engineering Centre.
212 views
Contrastive analysis of idioms expressing “body parts” in the English, Kyrgyz and Russian languages
851 views
Doron Peled, University of Warwick. Why testing? lReduce design/programming errors. lCan be done during development, before production/marketing. lPractical,
215 views
1212 Models of Computation: Automata and Processes Jos Baeten.
225 views
Jorge Muñoz-Gama Universitat Politècnica de Catalunya (Barcelona, Spain) Algorithms for Process Conformance and Process Refinement.
214 views
Doron Peled, Bar Ilan University. Testing of black box finite state machine Know: lTransition relation lSize or bound on size Wants to know: lIn what.
214 views
Cross Linguistics Equivalence, Traslatability and Contrastive Analysis
27 views
Algorithmic Testing
48 views
Presentation For 18th International Hph Conference(Fina 3l)
90 views