Record Beta

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

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

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	2016-06-24
portal:keyword	Aggregate programming
portal:keyword	Cyber-physical systems
portal:keyword	Distributed systems
portal:keyword	Distributed, ubiquitous, pervasive systems
portal:keyword	Dynamic Reconfiguration
portal:keyword	Environment uncertainty
portal:keyword	Field calculus
portal:keyword	Hybrid systems
portal:keyword	Markov Chain
portal:keyword	Mean-field limits
portal:keyword	Pervasive computing
portal:keyword	Population models
portal:keyword	Requirements
portal:keyword	Software Evolution
portal:keyword	differential inclusions
portal:keyword	domain-specific languages
portal:name	School on Formal Methods for the Design of Computer, Communication and Software Systems
portal:portalPage	http://portal.confref.org/list/sfm2016
portal:series	https://id.confref.org/data/confref-portal/series/sfm
portal:startDate	2016-06-20
portal:submissionExtended	false
portal:year	2016
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/sfm2016

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