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 ...1289 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 ...451 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, ...151 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 ...184 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 ...444 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 ...300 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 ...1358 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: ...1012 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 ...334 Hits Rating
-
Sii-Mobility, Km4City: Accordo per Accesso ai Datiaccordo per accesso ai dati e per l'uso dei dati e servizi392 Hits Rating