Italiano (it)formal methods
-
RAISSS project: Report of a comparative analysis of the Interlocking SystemsSignaling is the keystone of the railway transportation system and besides it, the interlocking system acts a central role granting the key issues such safety of the overall system. In order to ...998 Hits Rating
-
RAISSS project: Methods, notation and tools for modeling Command and Control SystemsSignaling is the keystone of the railway transportation system and besides it, the interlocking system acts a central role granting the key issues such safety of the overall system. In order to ...283 Hits Rating
-
Validating Component Integration with C-TILCO, a Case StudyTemporal logics are typically used to specify and verify properties and thus requirements, to describe the system and prove that such a formalization meets the expected behavior. In this paper, ...72 Hits Rating
-
Communicating TILCO: a Model for Real-Time System SpecificationFormal techniques for the specification of real-time systems must be capable of describing a set of relationships expressing the temporal constraints among events and actions: properties of ...104 Hits Rating
-
IPR Tools for Content Aggregators, paperIn this poster we describe the system adopted in the European Collected Li-brary of Artistic Performance, ECLAP, to manage, publish and distribute digital content taking into account the problems ...285 Hits Rating
-
IPR Tools for Content Aggregators, posterIn this poster we describe the system adopted in the European Collected Li-brary of Artistic Performance, ECLAP, to manage, publish and distribute digital content taking into account the problems ...154 Hits Rating
-
DISIT Lab overview: smart city, big data, semantic computing, cloudSmart City • Projects: http://www.disit.org/5501 – Sii-Mobility, http://www.sii-mobility.org – Service Map: http://servicemap.disit.org – Social Innovation: Coll@bora http://www.disit.org/5479 ...890 Hits Rating
-
DISIT Lab: Data Intelligence, Systems and Internet Technologies LabSocial Media and e-Learning Projects: http://www.disit.org/5501 ECLAP, http://www.eclap.eu Others: ApreToscana, IUF.csavri.org, SMNET, etc.. Others: AXMEDIS, VARIAZIONI, etc. Tools: ...485 Hits Rating
-
Knowledge Based Solution for Intelligent Verification and Validation of Interlocking Railway SystemsTodays secure railway transportation management systems are employing more intelligent, highly computerized technology but are still strictly dependent on the site-specific configuration of ...204 Hits Rating
-
Sii-Mobility, Km4City: Accordo per Accesso ai Datiaccordo per accesso ai dati e per l'uso dei dati e servizi186 Hits Rating