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 ...1138 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 ...373 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, ...119 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 ...150 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 ...373 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 ...232 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 ...1158 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: ...757 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 ...264 Hits Rating
-
Sii-Mobility, Km4City: Accordo per Accesso ai Datiaccordo per accesso ai dati e per l'uso dei dati e servizi283 Hits Rating