Search

Your search keyword '"Larsen, Peter A."' showing total 128 results

Search Constraints

Start Over You searched for: Author "Larsen, Peter A." Remove constraint Author: "Larsen, Peter A." Publisher springer berlin heidelberg Remove constraint Publisher: springer berlin heidelberg
128 results on '"Larsen, Peter A."'

Search Results

16. Semantics of Co-simulation

19. Discrete-Event Modelling in VDM

24. Contracts in CML

27. Carbon Sequestration

29. Combining VDM with Executable Code

30. A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM

31. Proof Obligation Generation and Discharging for Recursive Definitions in VDM

32. Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems

33. Connecting UML and VDM++ with Open Tool Support

34. Using Gene Expression Modeling to Determine Biological Relevance of Putative Regulatory Networks

35. Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM

38. Balancing Insight and Effort: The Industrial Uptake of Formal Methods

39. Modeling and Validating Distributed Embedded Real-Time Systems with VDM++

42. A Lightweight Approach to Formal Methods

48. Contracts in CML

Catalog

Books, media, physical & digital resources