Loading...
Please wait, while we are loading the content...
Similar Documents
Synthesising certificates in networks of timed automata
| Content Provider | Scilit |
|---|---|
| Author | Finkbeiner, B. Peter, H.-J. Schewe, S. |
| Copyright Year | 2010 |
| Related Links | http://www.avacs.org/fileadmin/Publikationen/Open/finkbeiner.iet2010.pdf |
| Ending Page | 235 |
| Page Count | 14 |
| Starting Page | 222 |
| e-ISSN | 20734360 |
| DOI | 10.1049/iet-sen.2009.0047 |
| Journal | IET Software |
| Issue Number | 3 |
| Volume Number | 4 |
| Language | English |
| Publisher | Institution of Engineering and Technology (IET) |
| Publisher Date | 2010-01-01 |
| Access Restriction | Open |
| Subject Keyword | Journal: IET Software Iterative Refinement Process Backward Reachability Analysis Homomorphic Abstraction Certificate Synthesis Forward Reachability Analysis Model Checking Timed Automata Embedded Real-time Systems |
| Content Type | Text |
| Resource Type | Article |