forma < formal < formalisation

Facettes : Author.f AffPays.f AffOrg.f AffRegion.f AffVille.f

List of bibliographic references

Number of relevant bibliographic references: 230.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000042 (2005)	Oliver Lubrich	Dracula vertextet. Bram Stoker und Adolf Loos entsorgen ein archaisches Monster
000132 (1998)	Nathan Charles [Royaume-Uni] ; Howard Bowman [Royaume-Uni] ; Simon Thompson [Royaume-Uni]	From ACT-ONE to Miranda, a translation experiment
000171 (1993)	Jeffrey James ; Ajit Bhalla	Flexible specialization, new technologies and future industrialization in developing countries
000190 (2001)	J.-C. Manuguerra [France]	Surveillance of influenza: a pan European perspective
000278 (1995)	K. Lano [Royaume-Uni] ; H. Haughton [Royaume-Uni]	Formal development in B abstract machine notation
000340 (2000)	Detlef Schoder [Allemagne]	Forecasting the success of telecommunication services in the presence of network effects
000357 (1984)	W. Horak [Allemagne]	Concepts of the document interchange protocol for the telematic services — CCITT draft recommendation S.a
000371 (1998)	W. Ceusters [Belgique] ; F. Steurs [Belgique] ; P. Zanstra [Pays-Bas] ; E. Van Der Haring [Pays-Bas] ; J. Rogers [Royaume-Uni]	From a time standard for medical informatics to a controlled language for health
000372 (1998)	Al Rector [Royaume-Uni] ; A. Rossi [Royaume-Uni] ; Mori F. Consorti [Royaume-Uni] ; P. Zanstra [Royaume-Uni]	Practical development of re-usable terminologies: GALEN-IN-USE and the GALEN Organisation
000376 (2000)	Marius Bozga [France] ; Jean-Claude Fernandez [France] ; Lucian Ghirvu [France] ; Claude Jard [France] ; Thierry Jéron [France] ; Alain Kerbrat [France] ; Pierre Morel [France] ; Laurent Mounier [France]	Verification and test generation for the SSCOP protocol
000554 (1994)	Ana Maria Ponce [Hongrie]	Documenting the process of conformance testing
000579 (1995)	James Robertson	Electronics, environment and employment
000583 (1997)	B. Stilman [États-Unis]	Network languages for concurrent multiagent systems
000682 (1998)	Keng Siau [États-Unis]	A visual object-relationship query language for user–database interaction
000805 (1992)	Kees Van Hee [Pays-Bas] ; Theodor Hildebrand [France] ; Sergio Copelli [Italie]	PROOFS: Application engineering based on formal methods
000839 (2000)	Konstantinos G. Zografos [Grèce] ; George M. Vasilakis [Grèce] ; Ioanna M. Giannouli [Grèce]	Methodological framework for developing decision support systems (DSS) for hazardous materials emergency response operations
000897 (2001)	Johannes C. Cronje ; T. H. Joubert [Afrique du Sud]	How useful is peerproduced multimedia teaching material
000A41 (2002)	Theodora Tsikrika [Royaume-Uni] ; Mounia Lalmas [Royaume-Uni]	Combining Web Document Representations in a Bayesian Inference Network Model Using Link and Content-Based Evidence
000A50 (2010)	Tsz Hon Yuen [Australie] ; Willy Susilo [Australie] ; Yi Mu [Australie]	How to Construct Identity-Based Signatures without the Key Escrow Problem
000B29 (2008)	Leonard Lensink [Pays-Bas] ; Sjaak Smetsers [Pays-Bas] ; Marko Van Eekelen [Pays-Bas]	Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization
000B44 (2009)	Marius C. Bujorianu [Royaume-Uni] ; Manuela L. Bujorianu [Royaume-Uni] ; Howard Barringer [Royaume-Uni]	A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Ticri/CIDE/explor/TelematiV1/Data/Istex/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i -k "formal" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i  \
                -Sk "formal" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Ticri/CIDE
   |area=    TelematiV1
   |flux=    Istex
   |étape=   Curation
   |type=    indexItem
   |index=    AbsEn.i
   |clé=    formal
}}

---

This area was generated with Dilib version V0.6.31. Data generation: Thu Nov 2 16:09:04 2017. Site generation: Sun Mar 10 16:42:28 2024