Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
A Trusted Approach to Design a Network Monitor |
| Συγγραφείς: |
Shimizu, Koichi, Yamaguchi, Teruyoshi, Nakai, Tsunato, Ueda, Takeshi, Kobayashi, Nobuhiro, Boyer, Benoit |
| Πηγή: |
2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2017 IEEE/ACM 5th International FME Workshop on. :17-23 May, 2017 |
| Relation: |
2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) |
| Βάση Δεδομένων: |
IEEE Xplore Digital Library |