The UniForM Workbench a Universal Development Environment for Formal Methods

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-48118-4_13
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Erratum To: Formal Methods for Distributed System Development

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2017English

Towards a Linguist's Workbench Supporting eScience Methods

2006English

Infinite Dimensional Universal Formal Group Laws and Formal A-Modules

Lecture Notes in Mathematics
Number TheoryAlgebra
1979English

Experimental Methods for Environment and Development Economics

Environment and Development Economics
DevelopmentEconomicsEconometricsEnvironmental Science
2009English

Using Simulation Games in Teaching Formal Methods for Software Development

Advances in Higher Education and Professional Development
English

Development of a Universal Locomotive Frame Using System Engineering Methods

KnE Engineering
2020English

On the Need for Practical Formal Methods

1998English

Indices Formal Grammar of the Universal Decimal Classification

Bibliosphere
2018English

Creating a Supportive Legal Environment for Universal Health Coverage

Bulletin of the World Health Organization
EnvironmentalPublic HealthOccupational Health
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy