An Implementation of Formal Framework for Collective Systems in Air Pollution Prediction System

von Palak, Rafat
Veröffentlicht in ICCCI (13. : 2021 : Kallithea, Rhodos; Online) Computational Collective Intelligence (2021)

A Trading Framework Based on Fuzzy Moore Machines

von Calvo, Iván
Veröffentlicht in ACIIDS (12. : 2020 : Phuket) Intelligent information and database systems ; Part 1 (2020)

Implementation Relations for Distributed Testing

von Hierons, Robert M.
Veröffentlicht in Colloquium for Prof. Dr. Jan Peleska (2023 : Bremen) Applicable formal methods for safe industrial products (2023)

Testing software and systems : 26th IFIP WG 6.1 international conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014 ; proceedings

Veröffentlicht 2014

Software engineering and formal methods : 11th international conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 ; proceedings

Veröffentlicht 2013

Testing of software and communication systems : 21st IFIP WG 6.1 international conference, TESTCOM 2009 and 9th international workshop, FATES 2009, Eindhoven, The Netherlands, No...

Veröffentlicht 2009

Testing software and systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Càdiz, Spain, October 1-3, 2018 : proceedings

Veröffentlicht 2018