Did you mean: automataautomated

search result

Cover von Design, implementation, and automation of a risk management approach for man-at-the-End software protection
article
Search for this author
Year: 2023
Publisher: Amsterdam, Elsevier
Series: Computers and security; 132. 2023 : article 103321
Media group: ARTICLE
Cover von Special issue on SOC (system-on-a-chip) testing for plug and play test automation; 4/5
S. 359 - 564
Search for this author
Year: 2002
Publisher: Boston, Kluwer
Count: 4/5
Media group: SPECIAL ISSUE
Cover von 7th Asia and South Pacific design automation conference, 15th international conference on VLSI design
proceedings, 7 - 11 January 2002, Bangalore, India
Search for this author
Year: 2002
Publisher: Piscataway, IEEE
Media group: KONGRESSBERICHT
Cover von Proceedings of the 1998 IEEE international symposium on intelligent control held jointly with IEEE international symposium on computational intelligence in robotics and automation (CIRA), intelligent systems and semiotics (ISAS)
September 14 - 17, 1998, National Institute of Standards and Technology, Gaithersburg, Maryland, USA
Search for this author
Year: 1998
Publisher: Los Alamitos, IEEE
Media group: KONGRESSBERICHT
Cover von DAC

DAC

proceedings
Search for this author
Year: 1964 and following
Publisher: New York, ACM
Media group: KONGRESSBERICHT
Cover von IEEE transactions on robotics

IEEE transactions on robotics

a publication of the IEEE robotics and automation society
Piscataway, IEEE
Media group: ZEITSCHRIFT
Volumes loading
Cover von ASPDAC
proceedings
Search for this author
Year: 1995 and following
Publisher: New York, ACM
Media group: KONGRESSBERICHT
Cover von CIRA
proceedings
Search for this author
Year: 1997
Publisher: Los Alamitos, IEEE
Media group: KONGRESSBERICHT
Cover von DATE
proceedings
Search for this author
Year: 1998 and following
Publisher: New York, ACM
Media group: KONGRESSBERICHT
Cover von Formalizing Concentration Inequalities in Rocq

Formalizing Concentration Inequalities in Rocq

Infrastructure and Automation
Year: 2025
Media group: LIPIcs
OPEN V 11.1.0.0