„System Modelling and Verification“

Suchergebnisse

1.000+ Treffer

• Generic Framework for Holonic Modelling and Multi-Agent Based Verification of Reconfigurable Manufacturing Systems
  Abid, Abdelmonaam ; Hammadi, Moncef ; Barkallah, Maher ; Choley, Jean-Yves ; Louati, Jamel ; Rivière, Alain ; Haddar, Mohamed
• Verification of the applicability of the Gaussian mixture modelling for damage identification in reinforced concrete structures using acoustic emission testing
  Vidya Sagar, R.
• Towards a new methodology for design, modelling, and verification of reconfigurable distributed control systems based on a new extension to the IEC 61499 standard
  Guellouz Ep Addad, Safa 2021 Saarländische Universitäts- und Landesbibliothek
• Coloured Petri Nets – Modelling and Validation of Concurrent Systems
  2009 Springer Berlin Heidelberg
• Architectural modelling and verification of open service-oriented systems of systems
  Becker, Basil ; Giese, Holger 2014 Universitätsbibliothek der Universität Potsdam
• Domain-specific Modelling of Railway Control Systems with Integrated Verification and Validation
  Mewes, Kirsten 2010 Verlag Dr. Hut
• Formal modelling and verification of effective probabilistic neural networks for load balancing in a cloud environment
  Shukla, Shantanu ; Yadav, Vibhash
• Robot Swarms as Hybrid Systems: Modelling and Verification
  Schupp, Stefan ; Leofante, Francesco ; Behr, Leander ; Ábrahám, Erika ; Tacchella, Armando 2022 Universitätsbibliothek der RWTH Aachen
• Retraction Note to: Modelling and verification of white light oil immersion microsphere optical nanoscope
  Ling, Jinzhong ; Wang, Xiaorui ; Li, Dancui ; Liu, Xin
• Decision algorithms for modelling, optimal control and verification of probabilistic systems
  Hashemi, Vahid ; Hermanns, Holger 2017 Saarländische Universitäts- und Landesbibliothek
• Computer Security – ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers
  Katsikas, Sōkratēs K. ; Cuppens, Frédéric ; Cuppens, Nora ; Lambrinoudakis, Costas ; Kalloniatis, Christos ; Mylopoulos, John P. ; Antón, Annie ; Gritzalis, Stefanos 2018 Springer International Publishing
• Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification – Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
  Fantechi, Alessandro ; Lecomte, Thierry ; Romanovsky, Alexander 2017 Springer International Publishing
• Hardware Description Languages and their Applications – Specification, modelling, verification and synthesis of microelectronic systems IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20–25 April 1997, Toledo, Spain
  1997 Springer US
• Development and verification of a taxa-specific gridded pollen modelling system for the UK
  Neal, Lucy Sarah ; Brown, Katherine ; Agnew, Paul ; Bennie, Jonathan ; Clewlow, Yolanda ; Early, Regan ; Hemming, Deborah
• Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification – First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
  Lecomte, Thierry ; Pinger, Ralf ; Romanovsky, Alexander 2016 Springer International Publishing
• Web Services, Formal Methods, and Behavioral Types – 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
  Hildebrandt, Thomas ; Ravara, António ; van der Werf, Jan Martijn ; Weidlich, Matthias 2016 Springer International Publishing
• Trends in Software Testing
  Mohanty, Hrushikesha 2017 Springer Singapore
• Probabilistic modelling and verification using RoboChart and PRISM
  Ye, Kangfeng ; Cavalcanti, Ana ; Foster, Simon ; Miyazawa, Alvaro ; Woodcock, Jim
• RoboChart: modelling and verification of the functional behaviour of robotic applications
  Miyazawa, Alvaro ; Ribeiro, Pedro ; Li, Wei ; Cavalcanti, Ana ; Timmis, Jon ; Woodcock, Jim
• 10351 Executive Summary – Modelling, Controlling and Reasoning About State
  Ahmed, Amal ; Benton, Nick ; Birkedal, Lars ; Hofmann, Martin