( en | de | ru )

 

Disambiguation of "France, Robert B."

Author of the publication

copydeleteadd this publication to your clipboard
Reasoning about VHDL and VHDL-AMS using Denotational Semantics.

, , , , , and . DATE, page 346-352. IEEE Computer Society / ACM, (1999)

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.

Laure France

Robert B Isler

France Allard

Lydéric France

Robert J B Lehmann

 

Other publications of authors with the same name

Integrated Structured Analysis and Formal Specification Techniques., , and . Comput. J., 35 (6): 600-610 (1992)Using Parameterized UML to Specify and Compose Access Control Models., , , and . IICIS, volume 140 of IFIP, page 49-65. Springer, (2003)Semantically Extended Data Flow Diagrams: A Formal Specification Tool.. IEEE Trans. Software Eng., 18 (4): 329-346 (1992)Discovering Potential Interaction Violations among Requirements., and . CAiSE Workshops, volume 249 of Lecture Notes in Business Information Processing, page 243-253. Springer, (2016)Meta-Modeling Semantics of UML., , , and . CoRR, (2014)A domain-specific language for managing feature models., , , and . SAC, page 1333-1340. ACM, (2011)Using models to dynamically refactor runtime code., , and . SAC, page 1108-1113. ACM, (2014)Aspect-oriented approach to early design modelling., , , and . IEE Proc. Softw., 151 (4): 173-186 (2004)Aggregation., , , , and . ECOOP Workshops, volume 1743 of Lecture Notes in Computer Science, page 55-56. Springer, (1999)What Does the Term Semantics Mean in the Context of UML., , , and . ECOOP Workshops, volume 1743 of Lecture Notes in Computer Science, page 34-36. Springer, (1999)