Sortiert nach
Electronic proceedings in theoretical computer science, 2014-04, Vol.147 (Proc. FESCA 2014), p.32-46
2014
Link zum Volltext
Formal Methods for Industrial Critical Systems, p.103-118
Link zum Volltext
Software and systems modeling, 2019-06, Vol.18 (3), p.1953-1984
2019
Link zum Volltext
E-informatica : software engineering journal, 2008-01, Vol.2 (1), p.9-28
2008
Link zum Volltext
New Trends in Model and Data Engineering, p.200-216
Link zum Volltext
New Trends in Model and Data Engineering, p.185-199
Link zum Volltext
Model-Driven Engineering and Software Development, 2019, Vol.991, p.9-33
2019
Link zum Volltext
Formal Aspects of Component Software, p.200-217
Link zum Volltext
Algebraic Methodology and Software Technology, 2004, p.289-303
2004
Link zum Volltext
Formal Aspects of Component Software, p.115-132
Link zum Volltext
FM 2012: Formal Methods, p.171-186
Link zum Volltext
Electronic notes in theoretical computer science, 2011-12, Vol.279 (2), p.43-57
2011
Link zum Volltext
2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 2008, p.297-304
2008
- Link zum Volltext
Proceedings of the 12th international conference on Reliable software technologies, 2007, p.41-54
2007
Link zum Volltext
Perspectives of Systems Informatics, p.297-309
Link zum Volltext
Software Composition, p.35-50
Link zum Volltext
FME 2003: Formal Methods, 2003, p.341-358
2003
Link zum Volltext
Reliable Software Technologies – Ada Europe 2007, p.41-54
Link zum Volltext
Algebraic Methodology and Software Technology, p.139-144
Link zum Volltext
Abstract State Machines, Alloy, B and Z, p.410-410
Link zum Volltext
Electronic notes in theoretical computer science, 2009-04, Vol.203 (7), p.23-35
2009
Link zum Volltext
Electronic notes in theoretical computer science, 2010-06, Vol.263, p.5-30
2010
Link zum Volltext
Clinical microbiology and infection, 2021-08, Vol.27 (8), p.1124-1130
- Roy, Pierre-Marie
- Vielle, Bruno
- Blanchet, Odile
- Darsonval, Astrid
- Lefeuvre, Caroline
- Abbara, Chadi
- Boucher, Sophie
- Robineau, Olivier
- Rispal, Patrick
- Diamantis, Sylvain
- Brangier, Antoine
- Lemée, Jean Michel
- Urbanski, Geoffrey
- Lavigne, Christian
- Courtois, Roxane
- Lebreton, Jonathan
- Crochette, Nicolas
- Lainé, Jean-Baptiste
- Perez, Lucia
- Blanchi, Sophie
- Bernard, Louis
- Maillot, François
- Gaigneux, Emeline
- Motte-Vincent, Pauline
- Morrier, Marine
- Colin, Orane
- Février, Ronan
- Thill, Pauline
- Tetart, Macha
- Demaeght, François
- Lafond-Desmurs, Barthelemy
- Meybeck, Agnes
- Picaud, Marjorie
- Prazuck, Thierry
- Sunder, Simon
- Lorleac'h, Aurélien
- Roger, Hélène
- Tahmi, Fella
- Célarier, Thomas
- Garnier, Camille
- Mourguet, Morgane
- Pugnet, Gregory
- Vienne-Noyes, Sara
- Grouteau, Gaspard
- Guilleminault, Laurent
- Arias, Pauline
- Chakvetadze, Catherine
- Kopp, Aude
- Putot, Alain
- Barben, Jeremy
- Piroth, Lionel
- Claessens, Yann-Erick
- Hentgen, Veronique
- Martinot, Martin
- Bach-Bunner, Maxime
- Michel, Jean-Marc
- Baldolli, Aurélie
- Brochard, Julia
- Pineau, Samuel
- Desvaux, Edouard
- Gondran, Guillaume
- Faucher, Jean-François
- Gutierrez, Blandine
- Ly, Kim
- Cypierre, Anne
- Durox, Hélène
- Genet, Claire
- Beraud, Guillaume
- Andrejak, Claire
- Joseph, Cédric
- Abad, Sébastien
- Benainous, Ruben
- Boitiaux, Jean-François
- Briend, Guillaume
- Gonfroy, Celine
- Leroy, Vincent
- Gaillard, Sacha
- Martha, Benoit
- Roch, Nathalie
- Diaz, Pierre
- N’guyen Baranoff, Danièle
- Jourda, François
- Bienvenu, Boris
- Boyer, Arnaud
- Custaud, Marc-Antoine
- Briet, Marie
- Mismetti, Patrick
- Vicaut, Eric
- Sanchez, Olivier
- Girard, Philippe
- Couturaud, Francis
- Gable, Béatrice
- Hue, Catherine
- Chrétien, Jean-Marie
- Goraguer, Adrien
- Eeckhoutte, Lucie van
2021
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Software Engineering
- Computer Science, Software Engineering
- Event-B
- Refinement
- Temporal Logic
- Verification
- Applied Sciences
- Architectural Element
- Architecture
- Case Study
- Compilers
- Component
- Component Architecture
- Composition
- Compositional Verification
- Computer Science, Interdisciplinary Applications
Kollektion
- Ingenta
- SpringerLink Series
- Free E-Journal (出版社公開部分のみ）
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library Journals Frontfile Complete
- ACM Digital Library Complete
- IngentaConnect Journals
- Journals@Ovid Complete
- IEEE Xplore
- Springer Nature - Complete Springer Journals
Zeitschrift / Serie