( en | de | ru )

 

Disambiguation of "Koelmans, Albert"

Author of the publication

copydeleteadd this publication to your clipboard
Modelling and verification of an atomic action protocol implemented in Ada.

, , , , , , and . Comput. Syst. Sci. Eng., 16 (3): 173-182 (2001)

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.

Albert Ehrl

Albert Müller

Albert Betz

Albert Braun

Albert Schunk

 

Other publications of authors with the same name

Modelling and Verification of Timing Conditions with the Boyer Moore Prover., and . TPCD, volume A-10 of IFIP Transactions, page 111-127. North-Holland, (1992)Correct interactive transformational synthesis of DSP hardware., , and . EURO-DAC, page 16-21. EEE Computer Society, (1991)Design and security evaluation of balanced 1-of-n circuits., , , and . IET Comput. Digit. Tech., 6 (2): 125-135 (2012)Modelling, analysis and synthesis of asynchronous control circuits using Petri nets., , , and . Integr., 21 (3): 143-170 (1996)WCET Analysis of Superscalar Processors Using Simulation With Coloured Petri Nets., , and . Real Time Syst., 18 (2/3): 275-288 (2000)Modelling and verification of an atomic action protocol implemented in Ada., , , , , , and . Comput. Syst. Sci. Eng., 16 (3): 173-182 (2001)Analysing Superscalar Processor Architectures with Coloured Petri Nets., , and . Int. J. Softw. Tools Technol. Transf., 2 (2): 182-191 (1998)High-Level Modeling and Design of Asynchronous Interface Logic., , and . IEEE Des. Test Comput., 12 (1): 32-40 (1995)Asynchronous microprocessors: From high level model to FPGA implementation., , , and . J. Syst. Archit., 45 (12-13): 975-1000 (1999)Dynamic global security-aware synthesis using SystemC., , , , and . IET Comput. Digit. Tech., 1 (4): 405-413 (2007)