( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal analysis of hardware requirements.

, , , , , и . DAC, стр. 821-826. ACM, (2006)

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.

Bernd Pill

Wolfgang Ingold

Johannes Pill

Katrin Pill

Johannes Pill

 

Другие публикации лиц с тем же именем

Current Approaches in Applied Artificial Intelligence: The 2019 IEA/AIE Conference The IEA/AIE 2019 Conference., , , , и . AI Mag., 40 (4): 85-87 (2019)BPEL Integration Testing., , и . FASE, том 9033 из Lecture Notes in Computer Science, стр. 69-83. Springer, (2015)Optimizations for the Boolean Approach to Computing Minimal Hitting Sets., и . ECAI, том 242 из Frontiers in Artificial Intelligence and Applications, стр. 648-653. IOS Press, (2012)Behavioral Diagnosis of LTL Specifications at Operator Level., и . IJCAI, стр. 1053-1059. IJCAI/AAAI, (2013)Formal analysis of hardware requirements., , , , , и . DAC, стр. 821-826. ACM, (2006)An Automated (F) LTL Test Oracle for Testing with Requirements., и . ISSRE Workshops, стр. 197-204. IEEE Computer Society, (2016)Symbolic Implementation of Alternating Automata., , , , и . CIAA, том 4094 из Lecture Notes in Computer Science, стр. 208-218. Springer, (2006)Focused Diagnosis for Failing Software Tests., , , и . IEA/AIE, том 9101 из Lecture Notes in Computer Science, стр. 712-721. Springer, (2015)Synthesizing adaptive test strategies from temporal logic specifications., , , , , , и . Formal Methods Syst. Des., 55 (2): 103-135 (2019)Pursuing Intelligent Behavior in Cyber-Physical Systems by Lightweight Diagnosis., , и . Adv. Intell. Syst., (2022)