Author of the publication

Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems.

, , , and . Sci. Comput. Program., 20 (1-2): 141-171 (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Extended risk analysis of power and ICT systems., , , , , and . ISGT Europe, page 1-5. IEEE, (2013)Probabilistic Risk-Based Security Assessment of Power Systems Considering Incumbent Threats and Uncertainties., , , , , and . IEEE Trans. Smart Grid, 7 (6): 2890-2903 (2016)Probabilistic assessment of Net Transfer Capacity considering forecast uncertainties., , , , , , and . PSCC, page 1-7. IEEE, (2016)From Formal Models to Formally Based Methods: An Industrial Experience., , , , and . ACM Trans. Softw. Eng. Methodol., 8 (1): 79-113 (1999)Operational Risk Assessment and control: A probabilistic approach., , , , , and . ISGT Europe, page 1-8. IEEE, (2010)An innovative risk control strategy in power systems involving advanced HVDC networks., , , , and . ISGT Europe, page 1-8. IEEE, (2011)Contingency screening starting from probabilistic models of hazards and component vulnerabilities., , , , , and . PSCC, page 1-8. IEEE, (2016)An Integrated Platform for Power System Security Assessment Implementing Probabilistic and Deterministic Methodologies., , , , , and . COMPENG, page 40-42. IEEE Computer Society, (2010)Dealing with Time Granularity in the Event Calculus., , , and . FGCS, page 702-712. IOS Press, (1992)Performance analysis of frequency regulation services provided by aggregates of domestic thermostatically controlled loads., , , , , and . CoRR, (2021)