Author of the publication

Object-Oriented Logical Specification of Time-Critical Systems.

, and . ACM Trans. Softw. Eng. Methodol., 3 (1): 56-98 (1994)

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

Regular Languages and Associative Language Descriptions., , and . Discrete Mathematics & Theoretical Computer Science, (2007)Non-erasing Chomsky-Schützenberger theorem with grammar-independent alphabet., and . CoRR, (2018)Languages defined by consensual computations., and . ICTCS, page 82-85. (2009)Consensual languages and matching finite-state computations., and . RAIRO - Theor. Inf. and Applic., 45 (1): 77-97 (2011)Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking., , and . ASE, page 119-127. IEEE Computer Society, (2008)Model checking-aided design of secure distributed systems., and . IASTED Conf. on Software Engineering, page 212-217. IASTED/ACTA Press, (2004)A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic., , and . TIME, page 99-106. IEEE Computer Society, (2013)Alias Analysis by Means of a Model Checker., and . CC, volume 2027 of Lecture Notes in Computer Science, page 3-19. Springer, (2001)Reuse of Object-Oriented Requirements Specifications., , and . ER, volume 823 of Lecture Notes in Computer Science, page 339-351. Springer, (1993)Model Checking Temporal Metric Specifications with Trio2Promela., , , , and . FSEN, volume 4767 of Lecture Notes in Computer Science, page 388-395. Springer, (2007)