Italiano (it)autonomous systems
-
AXCP, AXMEDIS content processing, media grid.AXCP, AXMEDIS content processing, media grid.940 Hits Rating
-
DISIT flyer for the new calls of 2015-2016DISIT lab and research group is one of the most active ICT labs of the University of Florence, metropolitan Tuscany area. DISIT successfully developed a relevant number of International and ...2275 Hits Rating
-
DISIT flyer for knowledge engineering, data analytics, semantic computingDISIT lab and research group is one of the most active ICT labs of the University of Florence, metropolitan Tuscany area. DISIT successfully developed a relevant number of International and ...3592 Hits Rating
-
Comments on Comments on An Interval Logic for Real-Time System SpecificatioTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines Abstract—The paper on Comments on “An Interval ...473 Hits Rating
-
Expressing and Organizing Specification Patterns with TILCO-XTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines347 Hits Rating
-
Expressing and Organizing Real Time Specification Patterns via Temporal LogicsTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines Formal specification models provide support for ...493 Hits Rating
-
An Interval Logic for RealTime System SpecificationTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines445 Hits Rating
-
Verification of External Specifications of Reactive SystemsTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines445 Hits Rating
-
Product Line Engineering Applied to CBTC Systems Developmentreal time systems specification, formal methods, tilco, uml390 Hits Rating
-
Temporal Logics for Real-Time System Specificationreal time systems specification, formal methods, tilco, uml The specification of reactive and real-time systems must be supported by formal mathematically founded methods to be satisfactory and ...493 Hits Rating