Esterel V7: From Verified Formal Specification to Efficient Industrial Designs

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-31984-9_1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Highly Efficient Designs to Handle the Incorrect Specification of Linear Mixed Models

Communications in Statistics Part B: Simulation and Computation
ModelingStatisticsProbabilitySimulation
2008English

Formal Specification and Verification

2019English

A Formal Specification of dMARS

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

A Verified Formal Model of a VC Generator

2006 30th Annual IEEE/NASA Software Engineering Workshop
2006English

Synthesis of AMBA AHB From Formal Specification: A Case Study

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2011English

Efficient Verified (UN)SAT Certificate Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Formal Specification and Verification of CRDTs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

A Useful Empirical Bayesian Method to Analyse Industrial Data From Saturated Factorial Designs

International Journal of Industrial Engineering Computations
IndustrialManufacturing Engineering
2013English

DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy