Formal Methods for Industrial Critical Systems (FMICS)
| Availability: | not accessible |
|---|---|
| Homepage(s): | |
| Fulltext available since: | (2005) |
| Fulltext available until: | (2005) |
| Publisher: | Association for Computing Machinery (ACM) |
| ZDB-ID: | 2683909-X |
| Subject(s): | |
| Tag(s): | Allgemeine Informatik,Konferenzschrift |
| Appearance: | Fulltext, online and print |
| Costs: | subject to fee |
| Comment: | Proceedings of the ... International Workshop on Formal Methods for Industrial Critical Systems |
| List of participate institutions which offer full access. |
