Search results
From MaRDI portal
- Systems 2007-05-02 Paper Applying Formal Methods: Testing, Performance, and M/E-Commerce 2006-10-24 Paper Applying Formal Methods: Testing, Performance, and M/E-Commerce...10 bytes (16 words) - 03:07, 12 December 2023
- Publication Date of Publication Type Formal Methods for Open Object-Based Distributed Systems 2010-01-12 Paper FM 2005: Formal Methods 2006-01-10 Paper Objects, Agents...10 bytes (16 words) - 14:39, 6 October 2023
- Publication Type A formal framework for security testing of automotive over-the-air update systems 2022-11-16 Paper Formal methods for software engineering...10 bytes (18 words) - 00:13, 25 September 2023
- accurate time-splitting methods for the semiclassical linear Schrödinger equation 2019-08-20 Paper Uniformly accurate methods for Vlasov equations with...10 bytes (16 words) - 22:57, 11 December 2023
- Multi-revolution composition methods for highly oscillatory differential equations 2014-09-09 Paper Optimized high-order splitting methods for some classes of parabolic...10 bytes (17 words) - 03:21, 10 December 2023
- 2024-04-10 Paper Typicality: a formal concept analysis account 2022-02-22 Paper Factorizing Boolean matrices using formal concepts and iterative usage of...10 bytes (16 words) - 01:32, 9 December 2023
- Multithreaded Call-Graphs 2010-01-28 Paper Formal Methods for Open Object-Based Distributed Systems 2010-01-12 Paper Formal Methods for Open Object-Based Distributed...10 bytes (20 words) - 16:50, 9 December 2023
- Publication Type Verification: Theory and Practice 2010-03-23 Paper Formal Methods in Computer-Aided Design 2006-10-20 Paper Verifying time partitioning...10 bytes (17 words) - 06:53, 9 December 2023
- with formal methods: the development of a storm surge barrier control system revisiting seven myths of formal methods 2002-04-11 Paper The formal derivation...10 bytes (19 words) - 20:00, 9 December 2023
- 2005 2006-11-01 Paper Applying Formal Methods: Testing, Performance, and M/E-Commerce 2006-10-24 Paper Applying Formal Methods: Testing, Performance, and M/E-Commerce...10 bytes (17 words) - 03:07, 12 December 2023
- 2007-05-02 Paper Formal Modeling and Analysis of Timed Systems 2006-11-14 Paper Formal Methods for Components and Objects 2006-11-01 Paper Formal Methods for the...10 bytes (16 words) - 09:58, 8 December 2023
- Prêt à Voter: Handling Multiple Election Methods with a Unified Interface 2010-12-07 Paper Integrated Formal Methods 2009-05-07 Paper Changing System Interfaces...10 bytes (19 words) - 15:32, 7 December 2023
- Publication Type Using formal verification to evaluate the execution time of Spark applications 2020-07-27 Paper Towards a formal semantics for UML/MARTE...10 bytes (16 words) - 23:52, 12 December 2023
- de/entity/Q3002509 2011-05-20 Paper Formal Semantics of a VDM Extension for Distributed Embedded Systems 2010-03-09 Paper Formal Methods for Components and Objects...10 bytes (20 words) - 16:36, 9 December 2023
- Runge-Kutta-Nyström methods 2005-03-08 Paper Symplectic and multi-symplectic methods for the nonlinear Schrödinger equation 2004-08-20 Paper Is the formal energy of...10 bytes (17 words) - 09:12, 9 December 2023
- Verification: Theory and Practice 2010-03-23 Paper Formal Methods for Components and Objects 2010-02-09 Paper Formal Methods for Open Object-Based Distributed Systems...10 bytes (21 words) - 16:36, 9 December 2023
- Detection in $$\mathbb {K}$$K 2023-03-21 Paper Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred...10 bytes (16 words) - 21:56, 10 December 2023
- relation for sPBC 2008-04-11 Paper Applying Formal Methods: Testing, Performance, and M/E-Commerce 2006-10-24 Paper Formal Techniques for Networked and Distributed...10 bytes (17 words) - 23:45, 10 December 2023
- Contractivity of Runge--Kutta Methods for Convex Gradient Systems 2020-08-18 Paper High-order stroboscopic averaging methods for highly oscillatory delay...10 bytes (21 words) - 20:26, 9 December 2023
- creation of formal models of the influence of environmental impact on the development of biological systems 2000-07-09 Paper Formal methods in computer...10 bytes (18 words) - 10:02, 9 December 2023