Loading...
Please wait, while we are loading the content...
Similar Documents
Timing Diagram Specifications in Modular Modeling of Industrial Automation Systems
Content Provider | Semantic Scholar |
---|---|
Author | Bouzon, Gustavo Vyatkin, Valeriy Hanisch, Hans-Michael |
Copyright Year | 2005 |
Abstract | Abstract This paper deals with further development of the timing-diagram based specification language destined for application in modular modeling of industrial automation systems. The results of this work are intended for application in formal verification of software intensive automation systems. |
Starting Page | 80 |
Ending Page | 85 |
Page Count | 6 |
File Format | PDF HTM / HTML |
DOI | 10.3182/20050703-6-CZ-1902.01438 |
Volume Number | 38 |
Alternate Webpage(s) | http://folk.ntnu.no/skoge/prost/proceedings/ifac2005/Fullpapers/01870.pdf |
Alternate Webpage(s) | http://www.nt.ntnu.no/users/skoge/prost/proceedings/ifac2005/Fullpapers/01870.pdf |
Alternate Webpage(s) | https://doi.org/10.3182/20050703-6-CZ-1902.01438 |
Language | English |
Access Restriction | Open |
Content Type | Text |
Resource Type | Article |