Search

Your search keyword '"Araki, Keijiro"' showing total 203 results

Search Constraints

Start Over You searched for: Author "Araki, Keijiro" Remove constraint Author: "Araki, Keijiro" Publication Type eBooks Remove constraint Publication Type: eBooks
203 results on '"Araki, Keijiro"'

Search Results

1. ViennaDoc: An Animatable and Testable Specification Documentation Tool

2. Towards Verifying VDM Using SPIN

3. Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa’s Case (Extended Abstract)

4. Practices for Formal Models as Documents: Evolution of VDM Application to 'Mobile FeliCa' IC Chip Firmware

6. Privacy-Aware Location Dependent Services over Wireless Internet with Anycast

16. A Formal Descriptive Semantics of UML

17. Partial Translation Verification for Untrusted Code-Generators

18. A Process Semantics for BPMN

19. A Unified Model Checking Approach with Projection Temporal Logic

20. Correct Channel Passing by Construction

21. Practical Automated Partial Verification of Multi-paradigm Real-Time Models

22. Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool

23. A Practical Approach to Partiality – A Proof Based Approach

24. Towards Abstraction for DynAlloy Specifications

25. Specifying and Verifying Sensor Networks: An Experiment of Formal Methods

26. A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking

27. Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes

28. Decomposition for Compositional Verification

29. Program Models for Compositional Verification

30. Requirements Coverage as an Adequacy Measure for Conformance Testing

31. A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm

32. Conformance Testing Based on UML State Machines : Automated Test Case Generation, Execution and Evaluation

33. An Approach to Testing with Embedded Context Using Model Checker

34. Modelling and Proof of a Tree-Structured File System in Event-B and Rodin

35. Specifying and Verifying Event-Based Fairness Enhanced Systems

36. A Generalisation of a Relational Structures Model of Concurrency

37. A Summary of the Tutorials at ICTAC 2004

38. Reasoning About Co–Büchi Tree Automata

39. Foundations for the Run-Time Monitoring of Reactive Systems – Fundamentals of the MaC Language

40. Decomposing Controllers into Non-conflicting Distributed Controllers

41. A Framework for Specification and Validation of Real-Time Systems Using Circus Actions

42. Duration Calculus: A Real-Time Semantic for B

43. A Calculus for Shapes in Time and Space

44. Switched Probabilistic I/O Automata

45. Real Time Reactive Programming in Lucid Enriched with Contexts

46. An Algebraic Approach for Codesign

47. An Algebra of Petri Nets with Arc-Based Time Restrictions

48. Revision Programs with Explicit Negation

49. Random Generators for Dependent Types

50. Program Verification Using Automatic Generation of Invariants,

Catalog

Books, media, physical & digital resources