by Michael Barr, Anthony Massa
Year of Publication 11.10.2006

by Ahmed, Navid Bin, Khan, Shahriar, Haque, Nuzhat Arifa, Hossain, Md. Shazzad
Published in 2021 IEEE International IOT, Electronics and Mechatronics Conference (IEMTRONICS) (21.04.2021)

by Kroening, Daniel, Lihao Liang, Melham, Tom, Schrammel, Peter, Tautschnig, Michael
Published in 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2015)

by Srisopha, Kamonphop, Boehm, Barry, Behnamghader, Pooyan
Published in CLEI electronic journal (01.04.2019)

by Наталия Павловна Волошина, Вадим Владимирович Нерубасский
Published in Avìacìjno-kosmìčna tehnìka ì tehnologìâ (01.08.2019)

by PITSAKIS MICHAEL N, GRATA JEREMY
Year of Publication 19.05.2015

Year of Publication 19.05.2015

by Mellegard, Niklas, Staron, Miroslaw, Torner, Fredrik
Published in 2012 IEEE 23rd International Symposium on Software Reliability Engineering (01.11.2012)

by Nakamura, Syouji, Qian, Cun Hua, Chen, Mingchih
Year of Publication 2013

by Macaneney, Marissa
Published in St. John's law review (01.07.2018)

by Berry, G.
Published in Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications (2016)

by PITSAKIS MICHAEL N, GRATA JEREMY
Year of Publication 20.09.2012

by Grata, Jeremy, Pitsakis, Michael N
Year of Publication 20.03.2012

by PITSAKIS MICHAEL N, GRATA JEREMY
Year of Publication 20.03.2012

Year of Publication 19.03.2012

by Yang, Laurence T, Syukur, Evi, W. Loke, Seng
Year of Publication 2013

by Almatary, Hesham
Year of Publication 2022

by Волошина, Наталия Павловна, Нерубасский, Вадим Владимирович
Published in Avìacìjno-kosmìčna tehnìka ì tehnologìâ (31.08.2019)

by SEUS, Brinkschulte, Uwe, Givargis, Tony, Russo, Stefano
Year of Publication 2008

by PITSAKIS MICHAEL N, GRATA JEREMY
Year of Publication 24.03.2008