Author of the publication

Hardware synthesis from a restricted class of LOTOS expressions.

, , , and . PSTV, volume 1 of IFIP Conference Proceedings, page 379-386. Chapman & Hall, (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

Evolution of Software-Defined Sensor Networks., , , , , and . MSN, page 410-413. IEEE Computer Society, (2013)A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs., , , , and . ICOIN, page 155-162. IEEE Computer Society, (2001)Optimizing Two-Dimensional Continuous Dynamic Programming for Cell Broadband Engine Processors., , , , , and . FCST, page 186-193. IEEE Computer Society, (2008)A software defined wireless sensor network., , , , , , and . ICNC, page 847-852. IEEE, (2014)A Hardware Algorithm for the Minimum p-Quasi Clique Cover Problem., , and . FPL, page 139-144. IEEE, (2007)On-demand Customizable Wireless Sensor Network., , , , , and . ANT/SEIT, volume 52 of Procedia Computer Science, page 302-309. Elsevier, (2015)Proposing a Highly Reliable Real-Time Operating System for a Processor with a Fault Self-Detecting Mechanism., , and . ICESS, page 164-169. IEEE Computer Society, (2016)An evolutionary neural network algorithm for max cut problems., , and . ICNN, page 1260-1265. IEEE, (1997)A gradual neural-network algorithm for jointly time-slot/code assignment problems in packet radio networks., and . IEEE Trans. Neural Networks, 9 (6): 1523-1528 (1998)Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach., , , and . TPCD, volume 901 of Lecture Notes in Computer Science, page 165-184. Springer, (1994)