Formal Methods Usage With Respect to Critical Systems Checking

Scientific notes of Taurida National V.I. Vernadsky University. Series: Technical Sciences
doi 10.32838/2663-5941/2019.6-1/34
Full Text
Abstract

Available in full text

Date
Authors
Publisher

V.I. Vernadsky Taurida National University

Related search

Critical Embedded Systems Development Using Formal Methods and Statistical Reliability Metrics

Advances in Science, Technology and Engineering Systems
EngineeringAstronomyPhysicsManagement of TechnologyInnovation
2019English

Formal Methods in Systems Engineering

1993English

Model Checking Usage Policies

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Formal Methods for Eternal Networked Software Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Towards Formal Methods for Agent-Based Systems

1996English

A Basis for Formal Robustness Checking

2008English

Designing Minimal Effective Normative Systems With the Help of Lightweight Formal Methods

2016English

Formal Consistency Checking Over Specifications in Natural Languages

2015English

Formal Methods for Extensions to CAS

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy