Record Beta

School on Formal Methods for the Design of Computer, Communication and Software Systems

https://id.confref.org/data/confref-portal/event/sfm2011

rdf:type	portal:Conference
schema:location	Bertinoro (wd:Q99934)
rdfs:label	School on Formal Methods for the Design of Computer, Communication and Software Systems
portal:acronym	SFM
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Bertinoro
portal:country	Italy
portal:endDate	2011-06-18
portal:keyword	Automata learning
portal:keyword	Contract monitoring
portal:keyword	Managing of trust feedback
portal:keyword	Middleware
portal:keyword	Model-based testing
portal:keyword	Pervasive networking
portal:keyword	Protocol mediation
portal:keyword	Run-time enforcement
portal:keyword	Security properties
portal:keyword	Security
portal:keyword	Semantic interoperability
portal:keyword	Software Evolution
portal:keyword	adaptive distributed systems
portal:keyword	complex distributed systems
portal:keyword	emergent middleware
portal:keyword	heterogeneity
portal:keyword	interoperability
portal:keyword	modelling
portal:keyword	protocol
portal:name	School on Formal Methods for the Design of Computer, Communication and Software Systems
portal:portalPage	http://portal.confref.org/list/sfm2011
portal:series	https://id.confref.org/data/confref-portal/series/sfm
portal:startDate	2011-06-13
portal:submissionExtended	false
portal:year	2011
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAs	https://dblp.org/db/conf/sfm/sfm2011

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.