Special Issue on Applications of DEVS FormalismsBARROS, Fernando; CHI, Sungdo.Simulation (San Diego, Calif.). 2005, Vol 81, Num 2, issn 0037-5497, 83 p.Serial Issue

Against use case interleavingMETZ, Pierre; O'BRIEN, John; WEBER, Wolfgang et al.Lecture notes in computer science. 2001, pp 472-486, issn 0302-9743, isbn 3-540-42667-1Conference Paper

The transferable belief model and random setsSMETS, P.International journal of intelligent systems. 1992, Vol 7, Num 1, pp 37-46, issn 0884-8173Article

A model for software sizingVERNER, J. M; TATE, G.The Journal of systems and software. 1987, Vol 7, Num 2, pp 173-177, issn 0164-1212Article

The accuracy of a procedural approach to specifying feedforward neural networks for forecastingLIAO, Kua-Ping; FILDES, Robert.Computers & operations research. 2005, Vol 32, Num 8, pp 2151-2169, issn 0305-0548, 19 p.Article

Minimal refinements of specifications in model and termporal logicsGOROGIANNIS, Nikos; RYAN, Mark.Formal aspects of computing. 2007, Vol 19, Num 1, pp 35-62, issn 0934-5043, 28 p.Article

Modal specifications are a syntactic fragment of the Mu-calculus = Spécifications modales : un fragment syntaxique du Mu-calculFeuillade, Guillaume.Publication interne - IRISA. 2005, issn 1166-8687, 1Vol, 17 p.Report

Dynamics and control in component-based agent modelsBRAZIER, Frances M. T; JONKER, Catholiin M; TREUR, Jan et al.International journal of intelligent systems. 2002, Vol 17, Num 11, pp 1007-1047, issn 0884-8173, 41 p.Article

A framework for translating models and specificationsKATZ, Shmuel; GRUMBERG, Orna.Lecture notes in computer science. 2002, pp 145-164, issn 0302-9743, isbn 3-540-43703-7, 20 p.Conference Paper

Testing for individual effects in auto-regressive modelsHOLTZ-EAKIN, D.Journal of econometrics. 1988, Vol 39, Num 3, pp 297-307, issn 0304-4076Article

Covariate randomized response modelsSCHEERS, N. J; DAYTON, C. M.Journal of the American Statistical Association. 1988, Vol 83, Num 404, pp 969-974, issn 0162-1459Article

Admissible minimax model selection ruleKEH-WEI CHEN; ZHENG, Z.Communications in statistics. Theory and methods. 1987, Vol 16, Num 11, pp 3393-3401, issn 0361-0926Article

RIO: Roles, interactions and organizationsMATHIEU, P; ROUTIER, J. C; SECQ, Y et al.Lecture notes in computer science. 2003, pp 147-157, issn 0302-9743, isbn 3-540-40450-3, 11 p.Conference Paper

Developing formal object-oriented requirements specifications: a model, tool and techniqueJACKSON, R. B; EMBLEY, D. W; WOODFIELD, S. N et al.Information systems (Oxford). 1995, Vol 20, Num 4, pp 273-289, issn 0306-4379Conference Paper

A specification strategy for order determination in arma modelsDE GOOIJER, J. G; SAIKKONEN, P.Communications in statistics. Simulation and computation. 1988, Vol 17, Num 3, pp 1037-1054, issn 0361-0918Article

Precision, complexity and Bayesian model determinationPOSKITT, D. S.Journal of the Royal Statistical Society. Series B. Methodological. 1987, Vol 49, Num 2, pp 199-208, issn 0035-9246Article

Component Models for Reasoning : Simplicity in IT: The Power of LessSECELEANU, Cristina; CRNKOVIC, Ivica.Computer (Long Beach, CA). 2013, Vol 46, Num 11, pp 40-47, issn 0018-9162, 8 p.Article

Transformations de modèles : d'un modèle abstrait aux modèles EJB et CCM = Model transformation: from an abstract model to the EJB and CCM modelBLANC, Xavier; CARON, Olivier; GEORGIN, Arnaud et al.L' Objet (Paris). 2004, Vol 10, Num 2-3, pp 161-173, issn 1262-1137, 13 p.Conference Paper

Bayesian specification analysis and estimation of simultaneous equation models using Monte Carlo methodsZELLNER, A; BAUWENS, L; CAN DIJK, H. K et al.Journal of econometrics. 1988, Vol 38, Num 1-2, pp 39-72, issn 0304-4076Article

Ein verteiltes Katalogsystem für einen heterogenen Rechnerverbund = Un système de catalogues réparti pour un réseau de calculateurs hétérogène = A distributed catalog system for a heterogenous computer networkMATTES, B; VON DRACHENFELS, H.Informatik (Berlin, West). 1987, Vol 2, Num 4, pp 171-181, issn 0178-3564Article

The effects of misspecification of a regression modelNAGELKERKE, N. J. D; HART, A. A. M; OOSTING, J et al.Biometrical journal. 1987, Vol 29, Num 2, pp 141-145, issn 0323-3847Article

Modeling and designing heterogeneous systemsBALARIN, Felice; LAVAGNO, Luciano; PASSERONE, Claudio et al.Concurrency and hardware design (advances in Petri nets). Lecture notes in computer science. 2002, pp 228-273, issn 0302-9743, isbn 3-540-00199-9, 46 p.Book Chapter

Efficient debugging in a Formal Verification environmentCOPTY, Fady; IRRON, Amitai; WEISSBERG, Osnat et al.Lecture notes in computer science. 2001, pp 275-292, issn 0302-9743, isbn 3-540-42541-1Conference Paper

A specification model for interface suitesROUBTSOVA, E. E; VAN GOOL, L. C. M; KUIPER, R et al.Lecture notes in computer science. 2001, pp 457-471, issn 0302-9743, isbn 3-540-42667-1Conference Paper

Heterogeneous modeling support for embedded systems designALEXANDER, Perry; KONG, Cindy.Lecture notes in computer science. 2001, pp 1-13, issn 0302-9743, isbn 3-540-42673-6Conference Paper