AbsEn.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « AbsEn.i » - entrée « specifications »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
specificationis < specifications < specificial  Facettes :

List of bibliographic references indexed by specifications

Number of relevant bibliographic references: 553.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000098 (2016) Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France]Validation of Formal Specifications through Transformation and Animation
000109 (2016) Atif Mashkoor [Autriche] ; Faqing Yang [France] ; Jean-Pierre Jacquot [France]Refinement-based Validation of Event-B Specifications
000214 (2015-11-27) Benjamin Camus [France]Multi-agent Environment for Multi-Modeling and Simulation of Complex Systems
000369 (2015-08-25) Nobutaka Ono [Japon] ; Zafar Rafii [États-Unis] ; Daichi Kitamura [France] ; Nobutaka Ito [Japon] ; Antoine Liutkus [France]The 2015 Signal Separation Evaluation Campaign
000377 (2015-08-25) Hadrien Bride [France] ; Olga Kouchnarenko [France] ; Fabien Peureux [France]Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
000485 (2015-06-22) Catherine Dubois [France] ; Paolo Masci [Royaume-Uni] ; Dominique Méry [France]Second International Workshop on Formal Integrated Development Environment
000844 (2014-12-08) Hernán Vanzetto [France]Proof automation and type synthesis for set theory in the context of TLA+
000960 (2014-09-09) Hadrien Bride [France] ; Olga Kouchnarenko [France] ; Fabien Peureux [France]Verifying Modal Workflow Specifications Using Constraint Solving
000C14 (2014-04-06) Catherine Dubois [France] ; Dimitra Giannakopoulou [États-Unis] ; Dominique Méry [France]Proceedings 1st Workshop on Formal Integrated Development Environment
000C29 (2014-04) Chongyang Ma [États-Unis] ; Nicholas Vining [Canada] ; Sylvain Lefebvre [France] ; Alla Sheffer [Canada]Game Level Layout from Design Specification
000D04 (2014-01-09) Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]Proving the Fidelity of Simulations of Event-B Models
000F22 (2013-11-29) Faqing Yang [France]A Simulation Framework for the Validation of Event-B Specifications
001040 (2013-09) Pascal Fontaine [France] ; Christophe Ringeissen [France] ; Renate Schmidt [Royaume-Uni]Frontiers of Combining Systems
001094 (2013-07-19) Elena Tushkanova [France]Schematic calculi for the analysis of decision procedures
001103 (2013-07-13) Dominique Méry [France] ; Monahan Rosemary [Irlande (pays)]Transforming EVENT B Models into Verified C# Implementations
001157 (2013-06-17) Mohammed Tounsi [France] ; Mohammed Mosbah [France] ; Dominique Méry [France]From Event-B Specifications to Programs for Distributed Algorithms
001624 (2013) Dominique Méry [France] ; Neeraj Kumar Singh [Royaume-Uni]Closed-Loop Modeling of Cardiac Pacemaker and Heart
001688 (2013) Florent Delomier [France] ; Bertrand David [France] ; Cyril Benazet [France] ; René Chalon [France]Learning Games Collaboratifs Contextualisés: Conception et mise en œuvre
001799 (2012-12-15) Hatem Ghabri ; Ghazi Maatoug [France] ; Michael Rusinowitch [France]Compiling symbolic attacks to protocol implementation tests
001821 (2012-12-04) Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]The Case for Using Simulation to Validate Event-B Specifications
001953 (2012-09-14) Kahina Bessai [France] ; Samir Youcef [France] ; Ammar Oulamara [France] ; Claude Godart [France] ; Selmin Nurcan [France]Multi-objective resources allocation approaches for workflow applications in Cloud environments

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i -k "specifications" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i  \
                -Sk "specifications" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AbsEn.i
   |clé=    specifications
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022