Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 221,507,232 papers from all fields of science
Search
Sign In
Create Free Account
International Conference on Software Engineering and Formal Methods
Known as:
SEFM
The International Conference on Software Engineering and Formal Methods (SEFM) is an international academic conference in the field of software…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
DBL-Browser
Formal methods
Software engineering
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Implementación de un sistema de calidad en medicina nuclear para PET-CT
Caroline Descamps
2018
Corpus ID: 79539774
2015
2015
Protección radiológica en Braquiterapia. Informe del grupo de trabajo de Braquiterapia de la SEFM.
José Pérez-Calatayud
,
Eva Corredoira Silva
,
+5 authors
J. R. Sancho
2015
Corpus ID: 74724852
This document presents the report of the Brachytherapy Task Group of the Spanish Society of Medical Physics. It is dedicated to…
Expand
Review
2014
Review
2014
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
D. Giannakopoulou
,
Gwen Salan
2014
Corpus ID: 63466816
This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods…
Expand
2014
2014
An improved scan mode in an electrostatic force microscope for surface profile measurement of micro-optics
Zhigang Jia
,
Keiichiro Hosobuchi
,
S. Ito
,
Y. Shimizu
,
W. Gao
2014
Corpus ID: 109930313
Abstract A new scan mode referred to as the feed-forward controlled unidirectional scan mode is employed to improve the accuracy…
Expand
2011
2011
Proceedings of the 9th international conference on Software engineering and formal methods
G. Barthe
,
Alberto Pardo
,
G. Schneider
2011
Corpus ID: 116671195
2007
2007
SoSyM Special Section on Software Engineering and Formal Methods
Jorge Cuéllar
,
Zhiming Liu
Journal of Software and Systems Modeling
2007
Corpus ID: 6131167
This section of “Software & Systems Modeling” contains three papers presenting current trends on the use of formal methods and…
Expand
2005
2005
Coordonner les calculs en utilisant une ḿetaphore chimique
Zsolt Németh
,
C. Perez
,
T. Priol
,
C. Perez
,
T. Priol
2005
Corpus ID: 267910654
Executing workflows on large-scale heterogeneous distribu ted computing systems is a challenging task. Albeit there have been…
Expand
2004
2004
Proceedings of the Second International Conference on Software Engineering and Formal Methods : SEFM 2004 : September 28-30, 2004 Beijing, China
Beijing da xue
2004
Corpus ID: 126749247
2003
2003
Animation of Object-Z specifications using a Z animator
Tim McComb
,
Graeme Smith
First International Conference onSoftware…
2003
Corpus ID: 22030322
We discuss a methodology for animating the Object-Z specification language using a Z animation environment. Central to the…
Expand
1998
1998
Effects of semiconductor surface band pinning on scanning electrostatic force microscopy
A. Henning
Photonics West - Micro and Nano Fabricated…
1998
Corpus ID: 120114629
Scanning electrostatic force microscopy, along with a subset of this technique, scanning Kelvin probe microscopy, have been used…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE