Amanote Research
Register
Sign In
Formal Methods in Systems Engineering
doi 10.1007/978-1-4471-1975-3
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1993
Authors
Unknown
Publisher
Springer London
Related search
Software Engineering and Formal Methods
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Methods for Eternal Networked Software Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards Formal Methods for Agent-Based Systems
BMP Systems Engineering Model Using Concurrent Engineering Methods
Formal Methods Usage With Respect to Critical Systems Checking
Scientific notes of Taurida National V.I. Vernadsky University. Series: Technical Sciences
Practical Formal Software Engineering
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains
Critical Embedded Systems Development Using Formal Methods and Statistical Reliability Metrics
Advances in Science, Technology and Engineering Systems
Engineering
Astronomy
Physics
Management of Technology
Innovation
Designing Minimal Effective Normative Systems With the Help of Lightweight Formal Methods
