( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained.

, , , , , , и . RE, стр. 300-310. IEEE, (2020)

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.

Hedwig Pressburger

Hans Pressburger

Thomas Thomas

Thomas Baron

Untersuchungen an ungeschädigten und durch Pilzbefall geschädigten Nadelholzbauteilen mit ausgewählten Prüfverfahren. TU Dresden, (2009)

Thomas Harasim

Die Rolle des nucleostemin-Gens in dem Prozess der Ribosomenbiogenese. Uni München, (2009)
 

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

Towards Automated Synthesis of Data Mining Programs., , и . KDD, стр. 372-376. ACM, (1999)Automated formalization of structured natural language requirements., , , и . Inf. Softw. Technol., (2021)Rapid property specification and checking for model-based formalisms., , , , , , и . International Symposium on Rapid System Prototyping, стр. 121-127. IEEE, (2011)The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained., , , , , , и . RE, стр. 300-310. IEEE, (2020)From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project., , , , , , , , , и . FMAS, том 329 из EPTCS, стр. 23-30. (2020)Software Assurance Research Infusion: The NASA Experience., , , , и . ISoLA, стр. 18-27. IEEE Computer Society, (2006)From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif., , , , , , , , , и . NFM, том 13903 из Lecture Notes in Computer Science, стр. 353-360. Springer, (2023)Generating Data Analysis Programs from Statistical Models., , и . SAIG, том 1924 из Lecture Notes in Computer Science, стр. 212-229. Springer, (2000)AMPHION: Automatic Programming for Scientific Subroutine Libraries., , , и . ISMIS, том 869 из Lecture Notes in Computer Science, стр. 326-335. Springer, (1994)Certifying Domain-Specific Policies., , и . ASE, стр. 81-90. IEEE Computer Society, (2001)