ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
73
views
8
references
Top references
cited by
9
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,287
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
FM 2006: Formal Methods
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++
other
Author(s):
Marcel Verhoef
,
Peter Gorm Larsen
,
Jozef Hooman
Publication date
(Print):
2006
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Socioecological systems
Most cited references
8
Record
: found
Abstract
: not found
Article
: not found
System architecture evaluation using modular performance analysis: a case study
Ernesto Wandeler
,
Lothar Thiele
,
Marcel Verhoef
…
(2006)
0
comments
Cited
6
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book
: not found
Validated Designs for Object–oriented Systems
J. FITZGERALD
,
J Fitzgerald
,
J Fitzgerald
(2005)
0
comments
Cited
5
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach
G. Reggio
,
E. Astesiano
,
C. Choppy
…
(2000)
0
comments
Cited
3
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2006
Pages
: 147-162
DOI:
10.1007/11813040_11
SO-VID:
3556c725-7660-467c-a931-c5c37cabdff9
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
The Embedded Systems Design Challenge
pp. 48
Certifying Airport Security Regulations Using the Focal Environment
pp. 147
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++
pp. 268
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions
pp. 284
Type-Safe Two-Level Data Transformation
pp. 316
Using Domain-Independent Problems for Introducing Formal Methods
pp. 460
Formal Verification of a C Compiler Front-End
pp. 476
A Memory Model Sensitive Checker for C#
pp. 557
Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces
pp. 573
PSL Model Checking and Run-Time Verification Via Testers
Similar content
2,287
The programming process: An introduction using VDM and Pascal
Authors:
Anne Walshe
Participation of VEM and VDM Mechanisms in Drum Shock and in Development of ‘Resistance’ to Drum Trauma
Authors:
BENJAMIN ZWEIFACH
,
D Metz
,
E. Shorr
VDM-based UAV Attitude Determination in Absence of IMU Data
Authors:
M Khaghani
,
J. Skaloud
See all similar
Cited by
9
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
Authors:
Reiner Hähnle
,
Elvira Albert
,
Peter Y. H. Wong
…
Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM
Authors:
Hugo Daniel Macedo
,
Peter Larsen
,
John Fitzgerald
Simulating Concurrent Behaviors with Worst-Case Cost Bounds
Authors:
Elvira Albert
,
Samir Genaim
,
Miguel Gómez-Zamalloa
…
See all cited by