scientific article; zbMATH DE number 2112452
zbMATH Open1066.93035MaRDI QIDQ4823969FDOQ4823969
Authors: Yang Wang, Jun Wei, Zhenyu Wang 
Publication date: 28 October 2004
Title of this publication is not available (Why is that?)
Recommendations
designmodel checkingcomplex systemscomputer systemsdistributed control systemsoftware architecturecorrectness requirementpattern of property specification
Reliability, availability, maintenance, inspection in operations research (90B25) Design techniques (robust design, computer-aided design, etc.) (93B51) Distributed systems (68M14) Control/observation systems involving computers (process control, etc.) (93C83)
Cited In (14)
- Formal verification of safety protocol in train control system
- A comparative study of formal verification techniques for software architecture specifications
- Hybrid Systems: Computation and Control
- Testing and monitoring in distributed automated technological control systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Implementing and evaluating the Publish/Subscribe paradigm using the OMG's DDS/DAIS specifications application to IDEC's micro\(^3\) PLC computer link system
- Dynamic aspect weaving in large-scale distributed technological control systems
- A two-level approach based on model checking to support architecture conformance checking
- Title not available (Why is that?)
- Development and automatic deployment of distributed control applications.
- Formalizing monitoring processes for large-scale distributed systems using abstract state machines
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4823969)
